diff --git a/htdp-lib/lang/private/teach.rkt b/htdp-lib/lang/private/teach.rkt
index 200a56b9..227d973e 100644
--- a/htdp-lib/lang/private/teach.rkt
+++ b/htdp-lib/lang/private/teach.rkt
@@ -3310,7 +3310,8 @@
   (with-handlers ((exn:fail?
                    (lambda (e)
                      (add-failed-check! (failed-check (property-error srcloc e)
-                                                      (exn-srcloc e))))))
+                                                      (exn-srcloc e)))
+                     #f)))
     (call-with-values
      (lambda ()
        (with-handlers
diff --git a/htdp-test/tests/test-engine/racket-tests.rkt b/htdp-test/tests/test-engine/racket-tests.rkt
index dd41ec0a..4d30ddc9 100644
--- a/htdp-test/tests/test-engine/racket-tests.rkt
+++ b/htdp-test/tests/test-engine/racket-tests.rkt
@@ -268,6 +268,7 @@
    (= (/ a b) (/ b a))))
 (check-failure property-fail?)
 
-
-
-
+; check for malformed property
+(check-property
+ (for-all ((minutes)) #t))
+(check-failure property-error?)