diff --git a/hermit/arch/x86/include/asm/irqflags.h b/hermit/arch/x86/include/asm/irqflags.h
index 48cfbd087..6a14ec63c 100644
--- a/hermit/arch/x86/include/asm/irqflags.h
+++ b/hermit/arch/x86/include/asm/irqflags.h
@@ -83,7 +83,7 @@ inline static void irq_nested_enable(uint8_t flags) {
 		irq_enable();
 }
 
-/** @brief Determines, if the interrupt flags (IF) is ser
+/** @brief Determines, if the interrupt flags (IF) is set
  *
  * @return
  * - 1 interrupt flag is set