Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 4a62ec952c0abab08fd690a77afe56cac4aee95f)
@@ -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);
 }