Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision 0f94c3d5de72d78a731147c9a1063270222411f2)
+++ kernel/generic/src/proc/task.c	(revision 80267319e764472a3315ee2e605accebf775ab22)
@@ -428,5 +428,5 @@
 
 #ifdef __32_BITS__	
-	printf("taskid name       ctx address    as         "
+	printf("taskid name         ctx address    as         "
 	    "cycles     threads calls  callee\n");
 	printf("------ ------------ --- ---------- ---------- "
@@ -435,5 +435,5 @@
 
 #ifdef __64_BITS__
-	printf("taskid name       ctx address            as                 "
+	printf("taskid name         ctx address            as                 "
 	    "cycles     threads calls  callee\n");
 	printf("------ ------------ --- ------------------ ------------------ "