diff --git a/Kernel/Devices/KeyboardDevice.cpp b/Kernel/Devices/KeyboardDevice.cpp
index 8431041d8e..936e73538b 100644
--- a/Kernel/Devices/KeyboardDevice.cpp
+++ b/Kernel/Devices/KeyboardDevice.cpp
@@ -501,7 +501,7 @@ void KeyboardDevice::handle_irq(RegisterState&)
         }
 
 #ifdef KEYBOARD_DEBUG
-        dbgprintf("Keyboard::handle_irq: %b %s\n", ch, pressed ? "down" : "up");
+        dbg() << "Keyboard::handle_irq: " << String::format("%b", ch) << " " << (pressed ? "down" : "up");
 #endif
         switch (ch) {
         case 0x38: