diff --git a/hermit/arch/x86/include/asm/processor.h b/hermit/arch/x86/include/asm/processor.h
index 01094a472..b347402d5 100644
--- a/hermit/arch/x86/include/asm/processor.h
+++ b/hermit/arch/x86/include/asm/processor.h
@@ -48,7 +48,7 @@ extern "C" {
 
 // feature list 0x00000001 (ebx)
 #define CPU_FEATURE_FPU			(1 << 0)
-#define CPU_FEATUE_PSE			(1 << 3)
+#define CPU_FEATURE_PSE			(1 << 3)
 #define CPU_FEATURE_MSR			(1 << 5)
 #define CPU_FEATURE_PAE			(1 << 6)
 #define CPU_FEATURE_APIC		(1 << 9)
diff --git a/hermit/arch/x86/kernel/processor.c b/hermit/arch/x86/kernel/processor.c
index 7ac21db37..4f36f118f 100644
--- a/hermit/arch/x86/kernel/processor.c
+++ b/hermit/arch/x86/kernel/processor.c
@@ -437,7 +437,7 @@ int cpu_detection(void) {
 
 	if (first_time) {
 		kprintf("Paging features: %s%s%s%s%s%s%s%s\n",
-				(cpu_info.feature1 & CPU_FEATUE_PSE) ? "PSE (2/4Mb) " : "",
+				(cpu_info.feature1 & CPU_FEATURE_PSE) ? "PSE (2/4Mb) " : "",
 				(cpu_info.feature1 & CPU_FEATURE_PAE) ? "PAE " : "",
 				(cpu_info.feature1 & CPU_FEATURE_PGE) ? "PGE " : "",
 				(cpu_info.feature1 & CPU_FEATURE_PAT) ? "PAT " : "",