diff --git a/src/system/kernel/arch/x86/irq_routing_table.cpp b/src/system/kernel/arch/x86/irq_routing_table.cpp
index 68cfd1be99..9045bbab04 100644
--- a/src/system/kernel/arch/x86/irq_routing_table.cpp
+++ b/src/system/kernel/arch/x86/irq_routing_table.cpp
@@ -18,7 +18,7 @@
 
 //#define TRACE_PRT
 #ifdef TRACE_PRT
-#	define TRACE(x...) dprintf("IRQRoutingTable: "x)
+#	define TRACE(x...) dprintf("IRQRoutingTable: " x)
 #else
 #	define TRACE(x...)
 #endif