Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 8605b2460db563ede1a7f79ca788696aba77bbf3)
+++ kernel/generic/src/proc/scheduler.c	(revision 69eac4aa01fc2a2eb07931b006cf18b42b9f0bd0)
@@ -452,6 +452,6 @@
 			 * Entering state is unexpected.
 			 */
-			panic("tid%" PRIu64 ": unexpected state %s\n", THREAD->tid,
-			    thread_states[THREAD->state]);
+			panic("tid%" PRIu64 ": unexpected state %s\n",
+			    THREAD->tid, thread_states[THREAD->state]);
 			break;
 		}
@@ -505,7 +505,7 @@
 
 #ifdef SCHEDULER_VERBOSE
-	printf("cpu%u: tid %" PRIu64 " (priority=%d, ticks=%" PRIu64 ", nrdy=%ld)\n",
-	    CPU->id, THREAD->tid, THREAD->priority, THREAD->ticks,
-	    atomic_get(&CPU->nrdy));
+	printf("cpu%u: tid %" PRIu64 " (priority=%d, ticks=%" PRIu64 
+	    ", nrdy=%ld)\n", CPU->id, THREAD->tid, THREAD->priority,
+	    THREAD->ticks, atomic_get(&CPU->nrdy));
 #endif	
 
@@ -641,7 +641,7 @@
 				spinlock_lock(&t->lock);
 #ifdef KCPULB_VERBOSE
-				printf("kcpulb%u: TID %" PRIu64 " -> cpu%u, nrdy=%ld, "
-				    "avg=%ld\n", CPU->id, t->tid, CPU->id,
-				    atomic_get(&CPU->nrdy),
+				printf("kcpulb%u: TID %" PRIu64 " -> cpu%u, "
+				    "nrdy=%ld, avg=%ld\n", CPU->id, t->tid,
+				    CPU->id, atomic_get(&CPU->nrdy),
 				    atomic_get(&nrdy) / config.cpu_active);
 #endif