diff --git a/src/arch/x86_64/mmu.c b/src/arch/x86_64/mmu.c
index 5f550f37..93dff11b 100644
--- a/src/arch/x86_64/mmu.c
+++ b/src/arch/x86_64/mmu.c
@@ -155,10 +155,10 @@ void arch_mmu_changeflags(arch_mmu_tableptr context, void* addr, size_t flags, s
 		mapping &= ~((uint64_t)1 << 63);
 		mapping |= flags;
 		setpage(context, addr, mapping);
+		invalidate(addr);
 		addr += PAGE_SIZE;
 	}
 
-	invalidate(addr);
 	
 }
 
diff --git a/src/sys/sched/scheduler.c b/src/sys/sched/scheduler.c
index e6b80019..9d87aa2c 100644
--- a/src/sys/sched/scheduler.c
+++ b/src/sys/sched/scheduler.c
@@ -422,8 +422,6 @@ void sched_runinit(){
 
 	timer_add(&arch_getcls()->schedreq, THREAD_QUANTUM, true);
 
-	printf("Switching to init thread\n");
-
 	switch_thread(thread);
 	
 	__builtin_unreachable();