Index: kernel/test/mm/slab1.c
===================================================================
--- kernel/test/mm/slab1.c	(revision 51b966b0dcf268c204d4d2eab4bf76a0bd2268ec)
+++ kernel/test/mm/slab1.c	(revision a4dfcd254204a5c6eb82c79d5a30340d83296b72)
@@ -152,5 +152,5 @@
 	
 	if (!sh_quiet)
-		printf("Thread #" PRIu64 " finished\n", THREAD->tid);
+		printf("Thread #%" PRIu64 " finished\n", THREAD->tid);
 	
 	semaphore_up(&thr_sem);