Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision 3f74275b545272926eb993b683eae30e42326ab4)
+++ kernel/generic/src/proc/task.c	(revision 30c27e95e487a311a88c5e35518a4cd018b0ed7f)
@@ -627,6 +627,5 @@
 			phone_t *phone = &cap->phone;
 			if (phone->callee)
-				printf(" %d:%p", cap_get_handle(task, cap),
-				    phone->callee);
+				printf(" %d:%p", cap->handle, phone->callee);
 		}
 		printf("\n");