Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision f2451459eff17f8a5c730a385925d2af36865089)
+++ kernel/arch/amd64/src/interrupt.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
@@ -101,7 +101,7 @@
 static void null_interrupt(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "unserviced interrupt: %d", n);
+	fault_if_from_uspace(istate, "Unserviced interrupt: %d", n);
 	decode_istate(n, istate);
-	panic("unserviced interrupt\n");
+	panic("Unserviced interrupt\n");
 }
 
@@ -127,16 +127,16 @@
 			return;
 		}
-		fault_if_from_uspace(istate, "general protection fault");
+		fault_if_from_uspace(istate, "General protection fault");
 	}
 
 	decode_istate(n, istate);
-	panic("general protection fault\n");
+	panic("General protection fault\n");
 }
 
 static void ss_fault(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "stack fault");
+	fault_if_from_uspace(istate, "Stack fault");
 	decode_istate(n, istate);
-	panic("stack fault\n");
+	panic("Stack fault\n");
 }
 
@@ -146,6 +146,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
 }
Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision f2451459eff17f8a5c730a385925d2af36865089)
+++ kernel/arch/amd64/src/mm/page.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
@@ -195,5 +195,5 @@
 		decode_istate(n, istate);
 		printf("Page fault address: %llx\n", page);
-		panic("page fault\n");
+		panic("Page fault\n");
 	}
 }