Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision 48dcc699ceb1979a093dbc5c8b698fe7f16536ed)
+++ kernel/generic/src/proc/task.c	(revision 4ff284b157b4b3e0c87a5bc150a3edf88e238c26)
@@ -197,8 +197,8 @@
 	
 	task->ipc_info.call_sent = 0;
-	task->ipc_info.call_recieved = 0;
+	task->ipc_info.call_received = 0;
 	task->ipc_info.answer_sent = 0;
-	task->ipc_info.answer_recieved = 0;
-	task->ipc_info.irq_notif_recieved = 0;
+	task->ipc_info.answer_received = 0;
+	task->ipc_info.irq_notif_received = 0;
 	task->ipc_info.forwarded = 0;
 	
@@ -478,5 +478,5 @@
 #ifdef __32_BITS__
 	if (*additional)
-		printf("%-8" PRIu64 " %9ld %7ld", task->taskid,
+		printf("%-8" PRIu64 " %9lu %7lu", task->taskid,
 		    atomic_get(&task->refcount), atomic_get(&task->active_calls));
 	else
@@ -489,5 +489,5 @@
 #ifdef __64_BITS__
 	if (*additional)
-		printf("%-8" PRIu64 " %9" PRIu64 "%c %9" PRIu64 "%c %9ld %7ld",
+		printf("%-8" PRIu64 " %9" PRIu64 "%c %9" PRIu64 "%c %9lu %7lu",
 		    task->taskid, ucycles, usuffix, kcycles, ksuffix,
 		    atomic_get(&task->refcount), atomic_get(&task->active_calls));
@@ -530,8 +530,8 @@
 #ifdef __64_BITS__
 	if (additional)
-		printf("[taskid] [ucycles ] [kcycles ] [threads] [calls]"
+		printf("[id    ] [ucycles ] [kcycles ] [threads] [calls]"
 		    " [callee\n");
 	else
-		printf("[taskid] [name        ] [ctx] [address         ]"
+		printf("[id    ] [name        ] [ctx] [address         ]"
 		    " [as              ]\n");
 #endif