diff --git a/collects/profj/check.ss b/collects/profj/check.ss
index e1049931b7..33e52dd808 100644
--- a/collects/profj/check.ss
+++ b/collects/profj/check.ss
@@ -1066,13 +1066,13 @@
   ;check-return: expression type env (expression -> type/env) src bool symbol type-records -> type/env
   (define (check-return ret-expr return env check src interact? level type-recs)
     (cond
-      (interact? (void))
+      (interact? (check ret-expr))
       ((and ret-expr (not (eq? 'void return)))
          (let ((ret/env (check ret-expr)))
            (if (assignment-conversion return (type/env-t ret/env) type-recs)
                ret/env
                (return-error 'not-equal (type/env-t ret/env) return src))))
-      ((and ret-expr (eq? 'void return) (not (eq? level 'full)))
+      ((and ret-expr (eq? 'void return))
        (return-error 'void #f return src))
       ((and (not ret-expr) (not (eq? 'void return)))
        (return-error 'val #f return src))