Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 0c2d9bb57bc590e00bd17e5f7cf0937be160cca7)
+++ kernel/generic/src/proc/scheduler.c	(revision c1023bcbfe6af2cca582653bb8181ff70d9df769)
@@ -64,6 +64,4 @@
 #include <stacktrace.h>
 
-//#define	SCHEDULER_VERBOSE 1
-
 static void scheduler_separated_stack(void);
 
@@ -519,6 +517,6 @@
 	
 #ifdef SCHEDULER_VERBOSE
-	printf("cpu%u: tid %" PRIu64 " (priority=%d, ticks=%" PRIu64 
-	    ", nrdy=%d)\n", CPU->id, THREAD->tid, THREAD->priority,
+	printf("cpu%u: tid %" PRIu64 " (priority=%d, ticks=%" PRIu64
+	    ", nrdy=%" PRIua ")\n", CPU->id, THREAD->tid, THREAD->priority,
 	    THREAD->ticks, atomic_get(&CPU->nrdy));
 #endif