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