Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision 8f6858d028eb150694697123c36cd97953638931)
+++ kernel/generic/src/ipc/ipc.c	(revision 525e91b58b5dae8883ac0f7a20f38257c0d5c87b)
@@ -664,6 +664,5 @@
 	call = ipc_wait_for_call(&TASK->answerbox, SYNCH_NO_TIMEOUT,
 	    SYNCH_FLAGS_NONE);
-	ASSERT((call->flags & IPC_CALL_ANSWERED) ||
-	    (call->flags & IPC_CALL_NOTIF));
+	ASSERT(call->flags & (IPC_CALL_ANSWERED | IPC_CALL_NOTIF));
 		
 	ipc_call_free(call);