diff --git a/hermit/arch/x86/kernel/processor.c b/hermit/arch/x86/kernel/processor.c
index 4b1d67f7b..f28b6328c 100644
--- a/hermit/arch/x86/kernel/processor.c
+++ b/hermit/arch/x86/kernel/processor.c
@@ -253,7 +253,7 @@ static void set_pstate(int pstate)
 void dump_pstate(void)
 {
 	if (!has_est())
-		return
+		return;
 
 	kprintf("P-State 0x%x - 0x%x, turbo 0x%x\n", min_pstate, max_pstate, turbo_pstate);
 	kprintf("PERF CTL 0x%llx\n", rdmsr(MSR_IA32_PERF_CTL));