diff --git a/src/add-ons/kernel/drivers/timer/hpet.cpp b/src/add-ons/kernel/drivers/timer/hpet.cpp
index 9c93689258..baab94a086 100644
--- a/src/add-ons/kernel/drivers/timer/hpet.cpp
+++ b/src/add-ons/kernel/drivers/timer/hpet.cpp
@@ -231,7 +231,7 @@ hpet_init_timer(hpet_timer_cookie* cookie)
 	}
 
 	if (interrupt == -1) {
-		dprintf("hpet_init_timer(): timer can't be routed to any interrupt!")
+		dprintf("hpet_init_timer(): timer can't be routed to any interrupt!");
 		return B_ERROR;
 	}
 	// Non-periodic mode