Index: kernel/generic/include/interrupt.h
===================================================================
--- kernel/generic/include/interrupt.h	(revision 3ad953cc9f7b18ae008470e72a5abd43e4142cbd)
+++ kernel/generic/include/interrupt.h	(revision c571f428780356712393ffa289dcab9107a5367f)
@@ -45,10 +45,10 @@
 typedef void (* iroutine)(int n, istate_t *istate);
 
-#define fault_if_from_uspace(istate, cmd, ...) \
+#define fault_if_from_uspace(istate, fmt, ...) \
 { \
 	if (istate_from_uspace(istate)) { \
 		task_t *task = TASK; \
 		printf("Task %" PRIu64 " killed due to an exception at %p.", task->taskid, istate_get_pc(istate)); \
-		printf("  " cmd, ##__VA_ARGS__); \
+		printf("  " fmt "\n", ##__VA_ARGS__); \
 		task_kill(task->taskid); \
 		thread_exit(); \