diff --git a/src/intrprtr.c b/src/intrprtr.c
index b916ccd463..41ec9885d8 100644
--- a/src/intrprtr.c
+++ b/src/intrprtr.c
@@ -1375,8 +1375,9 @@ void            IntrNot ( void )
     Obj                 op;             /* operand                         */
 
     /* ignore or code                                                      */
-    if ( STATE(IntrIgnoring) > 0 ) { return; }
-    if ( STATE(IntrCoding)   > 0 ) { CodeNot(); return; }
+    if ( STATE(IntrReturning) > 0 ) { return; }
+    if ( STATE(IntrIgnoring)  > 0 ) { return; }
+    if ( STATE(IntrCoding)    > 0 ) { CodeNot(); return; }
 
 
     /* get and check the operand                                           */