diff --git a/pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt b/pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt
index b2956dfc36..6ef532f7ca 100644
--- a/pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt
+++ b/pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt
@@ -188,7 +188,7 @@
 (define-syntax (check-satisfied stx)
   (syntax-case stx ()
     [(_ actual:exp expected-property:exp)
-     (symbol? (syntax-e #'expected-property:exp))
+     (identifier? #'expected-property:exp)
      (check-expect-maker stx
                          #'check-values-property 
                          #'(lambda (x) (expected-property:exp x))