diff --git a/hermit/arch/x86/kernel/apic.c b/hermit/arch/x86/kernel/apic.c
index 729fde9a0..856ab7ae5 100644
--- a/hermit/arch/x86/kernel/apic.c
+++ b/hermit/arch/x86/kernel/apic.c
@@ -649,7 +649,7 @@ static void apic_tlb_handler(struct state *s)
 
 	if (val)
 		write_cr3(val);
-	//kputs("Flush TLB!\n");
+	kputs("Flush TLB!\n");
 }
 #endif