Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 566f4cfb502715c66762e1fa7a0827f52ac83ec3)
+++ kernel/generic/src/main/main.c	(revision 687246b2606134c8fd20702358cad29743377b4f)
@@ -251,8 +251,8 @@
 		for (i = 0; i < init.cnt; i++)
 			LOG("init[%" PRIc "].addr=%#" PRIp ", init[%" PRIc
-			    "].size=%#" PRIs "\n", i, init.tasks[i].addr, i,
+			    "].size=%#" PRIs, i, init.tasks[i].addr, i,
 			    init.tasks[i].size);
 	} else
-		printf("No init binaries found\n");
+		printf("No init binaries found.\n");
 	
 	LOG_EXEC(ipc_init());