Index: kernel/arch/ia32/src/mm/page.c
===================================================================
--- kernel/arch/ia32/src/mm/page.c	(revision af863d0df32b98f1005d2470e2de1d3e71a445e6)
+++ kernel/arch/ia32/src/mm/page.c	(revision f651e80e2ba6968d9e184dd8ca7fa6e5b779caaf)
@@ -80,5 +80,5 @@
 {
 	if (last_frame + ALIGN_UP(size, PAGE_SIZE) > KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH))
-		panic("Unable to map physical memory %p (%d bytes)", physaddr, size)
+		panic("Unable to map physical memory %p (%d bytes).", physaddr, size)
 	
 	uintptr_t virtaddr = PA2KA(last_frame);
@@ -102,5 +102,5 @@
 		
 	if (istate->error_word & PFERR_CODE_RSVD)
-		panic("Reserved bit set in page directory.\n");
+		panic("Reserved bit set in page directory.");
 
 	if (istate->error_word & PFERR_CODE_RW)
@@ -110,9 +110,9 @@
 	
 	if (as_page_fault(page, access, istate) == AS_PF_FAULT) {
-		fault_if_from_uspace(istate, "Page fault: %#x", page);
+		fault_if_from_uspace(istate, "Page fault: %#x.", page);
 		
 		decode_istate(istate);
 		printf("page fault address: %#lx\n", page);
-		panic("page fault\n");
+		panic("Page fault.");
 	}
 }