Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision 9cdac5ac56bddf7ea62e00f67756c37708cd9ecb)
+++ kernel/generic/src/ipc/ipc.c	(revision 54de5ebd0d44f6a5120681b2378467fed5914f70)
@@ -706,6 +706,7 @@
 				break;
 			case IPC_PHONE_CONNECTED:
-				printf("connected to: %p ",
-				    task->phones[i].callee);
+				printf("connected to: %p (%" PRIu64 ") ",
+				    task->phones[i].callee,
+				    task->phones[i].callee->task->taskid);
 				break;
 			case IPC_PHONE_SLAMMED: