diff --git a/MP3/MP3_Sources/kernel.C b/MP3/MP3_Sources/kernel.C
index 733cef8..c252dac 100755
--- a/MP3/MP3_Sources/kernel.C
+++ b/MP3/MP3_Sources/kernel.C
@@ -157,7 +157,6 @@ int main() {
   
     PageTable::enable_paging();
     
-    for(;;);
     Console::puts("WE TURNED ON PAGING!\n");
     Console::puts("If we see this message, the page tables have been\n");
     Console::puts("set up mostly correctly.\n");
@@ -176,7 +175,7 @@ int main() {
     }
 
     Console::puts("DONE WRITING TO MEMORY. Now testing...\n");
-
+    
     for (i=0; i<NACCESS; i++) {
         if(foo[i] != i) {
             Console::puts("TEST FAILED for access number:");
diff --git a/MP3/MP3_Sources/page_table.C b/MP3/MP3_Sources/page_table.C
index b901326..c5c4864 100644
--- a/MP3/MP3_Sources/page_table.C
+++ b/MP3/MP3_Sources/page_table.C
@@ -75,17 +75,13 @@ void PageTable::enable_paging()
 
 void PageTable::handle_fault(REGS * _r)
 {
-  /*
   unsigned long tempframe = process_mem_pool->get_frames(1);
   Console::puts("\nerror code: ");
   Console::puti(_r->err_code);
 
   unsigned char mask = 0x00;
-
-  
   read_cr2();
-*/
-  assert(false);
+  
   Console::puts("\nhandled page fault\n");
 }