Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision 3f74275b545272926eb993b683eae30e42326ab4)
+++ kernel/generic/src/proc/task.c	(revision 8a45bf097298bef4ee6d8bd85694bcedb0d88cf1)
@@ -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");