Index: kernel/arch/mips32/src/exception.c
===================================================================
--- kernel/arch/mips32/src/exception.c	(revision 018e1e3f1098da80e76e690d5c5eb0f5bd091873)
+++ kernel/arch/mips32/src/exception.c	(revision c571f428780356712393ffa289dcab9107a5367f)
@@ -89,8 +89,8 @@
 static void unhandled_exception(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "unhandled exception %s", exctable[n]);
+	fault_if_from_uspace(istate, "Unhandled exception %s", exctable[n]);
 	
 	print_regdump(istate);
-	panic("unhandled exception %s\n", exctable[n]);
+	panic("Unhandled exception %s.\n", exctable[n]);
 }
 
@@ -133,6 +133,6 @@
 		scheduler_fpu_lazy_request();
 	else {
-		fault_if_from_uspace(istate, "unhandled Coprocessor Unusable Exception");
-		panic("unhandled Coprocessor Unusable Exception\n");
+		fault_if_from_uspace(istate, "Unhandled Coprocessor Unusable Exception");
+		panic("Unhandled Coprocessor Unusable Exception.\n");
 	}
 }
Index: kernel/arch/mips32/src/mm/tlb.c
===================================================================
--- kernel/arch/mips32/src/mm/tlb.c	(revision 018e1e3f1098da80e76e690d5c5eb0f5bd091873)
+++ kernel/arch/mips32/src/mm/tlb.c	(revision c571f428780356712393ffa289dcab9107a5367f)
@@ -333,5 +333,5 @@
 	fault_if_from_uspace(istate, "TLB Refill Exception on %p",
 	    cp0_badvaddr_read());
-	panic("%x: TLB Refill Exception at %x(%s<-%s)\n", cp0_badvaddr_read(),
+	panic("%x: TLB Refill Exception at %x(%s<-%s).\n", cp0_badvaddr_read(),
 	    istate->epc, symbol, sym2);
 }
@@ -347,5 +347,5 @@
 	fault_if_from_uspace(istate, "TLB Invalid Exception on %p",
 	    cp0_badvaddr_read());
-	panic("%x: TLB Invalid Exception at %x(%s)\n", cp0_badvaddr_read(),
+	panic("%x: TLB Invalid Exception at %x(%s).\n", cp0_badvaddr_read(),
 	    istate->epc, symbol);
 }
@@ -360,5 +360,5 @@
 	fault_if_from_uspace(istate, "TLB Modified Exception on %p",
 	    cp0_badvaddr_read());
-	panic("%x: TLB Modified Exception at %x(%s)\n", cp0_badvaddr_read(),
+	panic("%x: TLB Modified Exception at %x(%s).\n", cp0_badvaddr_read(),
 	    istate->epc, symbol);
 }