Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision f2451459eff17f8a5c730a385925d2af36865089)
+++ kernel/arch/ia32/src/interrupt.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
@@ -96,8 +96,8 @@
 static void null_interrupt(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "unserviced interrupt: %d", n);
-
-	decode_istate(istate);
-	panic("unserviced interrupt: %d\n", n);
+	fault_if_from_uspace(istate, "Unserviced interrupt: %d", n);
+
+	decode_istate(istate);
+	panic("Unserviced interrupt: %d\n", n);
 }
 
@@ -123,17 +123,17 @@
 			return;
 		}
-		fault_if_from_uspace(istate, "general protection fault");
+		fault_if_from_uspace(istate, "General protection fault");
 	}
 
 	decode_istate(istate);
-	panic("general protection fault\n");
+	panic("General protection fault\n");
 }
 
 static void ss_fault(int n __attribute__((unused)), istate_t *istate)
 {
-	fault_if_from_uspace(istate, "stack fault");
-
-	decode_istate(istate);
-	panic("stack fault\n");
+	fault_if_from_uspace(istate, "Stack fault");
+
+	decode_istate(istate);
+	panic("Stack fault\n");
 }
 
@@ -158,6 +158,6 @@
 	scheduler_fpu_lazy_request();
 #else
-	fault_if_from_uspace(istate, "fpu fault");
-	panic("fpu fault");
+	fault_if_from_uspace(istate, "FPU fault");
+	panic("FPU fault");
 #endif
 }