Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/interrupt/interrupt.c	(revision bda24ee7e6220d31f6570cc4ac7804163db9055d)
@@ -106,6 +106,6 @@
 static void exc_undef(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "Unhandled exception %d", n);
-	panic("Unhandled exception %d", n);
+	fault_if_from_uspace(istate, "Unhandled exception %d.", n);
+	panic("Unhandled exception %d.", n);
 }