diff --git a/kernel/proc.c b/kernel/proc.c
index d613ed8ee..78e2cfd25 100755
--- a/kernel/proc.c
+++ b/kernel/proc.c
@@ -149,9 +149,9 @@ message *m_ptr;			/* pointer to message in the caller's space */
           return(ECALLDENIED);		/* call denied by ipc mask */
       }
 
-      if (isemptyn(src_dst) && !shutdown_started) {
-          kprintf("sys_call: dead dest; %d, %d, %d\n", 
-              function, proc_nr(caller_ptr), src_dst);
+      if (isemptyn(src_dst)) {
+	if(!shutdown_started)
+	 kprintf("sys_call: dead dst; %d->%d\n", proc_nr(caller_ptr), src_dst);
           return(EDEADDST); 		/* cannot send to the dead */
       }
   }