Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision 9fe962d6899951f3ad0ad9b7d1f14025013170a5)
+++ kernel/generic/src/ipc/ipc.c	(revision 7ba289acbe98d97ccfefd3124fa914845c001281)
@@ -574,5 +574,5 @@
 	printf("ABOX - CALLS:\n");
 	for (tmp = task->answerbox.calls.next; tmp != &task->answerbox.calls;
-		tmp = tmp->next) {
+	    tmp = tmp->next) {
 		call = list_get_instance(tmp, call_t, link);
 		printf("Callid: %p Srctask:%" PRIu64 " M:%" PRIun 
@@ -587,6 +587,6 @@
 	printf("ABOX - DISPATCHED CALLS:\n");
 	for (tmp = task->answerbox.dispatched_calls.next;
-		tmp != &task->answerbox.dispatched_calls; 
-		tmp = tmp->next) {
+	    tmp != &task->answerbox.dispatched_calls; 
+	    tmp = tmp->next) {
 		call = list_get_instance(tmp, call_t, link);
 		printf("Callid: %p Srctask:%" PRIu64 " M:%" PRIun
@@ -601,5 +601,5 @@
 	printf("ABOX - ANSWERS:\n");
 	for (tmp = task->answerbox.answers.next; tmp != &task->answerbox.answers;
-		tmp = tmp->next) {
+	    tmp = tmp->next) {
 		call = list_get_instance(tmp, call_t, link);
 		printf("Callid:%p M:%" PRIun " A1:%" PRIun " A2:%" PRIun