diff --git a/arch/x86/scc/icc.c b/arch/x86/scc/icc.c
index d50bcf3b..96ea623d 100644
--- a/arch/x86/scc/icc.c
+++ b/arch/x86/scc/icc.c
@@ -235,13 +235,13 @@ int icc_mail_ping( void )
 	uint32_t flags;
 	int remote_rank = (my_ue+1)%2;
 	
-	kprintf( "### Hello from icc_mail_ping\n" );	
+	kprintf( "#### Hello from icc_mail_ping\n" );	
 	// iRCCE is not thread save => disable interrupts
 	flags = irq_nested_disable();
 
 	// send mail
 	iRCCE_mail_send( 0, my_ue, 0, NULL, remote_rank );
-
+	kprintf( "### Message sent ...\n" );
 
 	// wait for mail from remote rank
 	iRCCE_MAIL_HEADER* mail;