Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/arch/amd64/src/mm/page.c	(revision 7447572cfbe25a6a44b66c23f9e52aeecfc22df1)
@@ -181,5 +181,5 @@
 	
 	if (istate->error_word & PFERR_CODE_RSVD)
-		panic("Reserved bit set in page table entry.\n");
+		panic("Reserved bit set in page table entry.");
 	
 	if (istate->error_word & PFERR_CODE_RW)
@@ -191,9 +191,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(n, istate);
-		printf("Page fault address: %llx\n", page);
-		panic("Page fault\n");
+		printf("Page fault address: %llx.\n", page);
+		panic("Page fault.");
 	}
 }
@@ -203,5 +203,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);