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 ee94a26a65..2ad2cfa45c 100644
--- a/pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt
+++ b/pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt
@@ -208,7 +208,7 @@
    ;; check
    (lambda (p? v _what-is-this?) (p? v))
    ;; maker
-   (lambda (src format v1 v2 _) (make-satisfied-failed src format v2 property?))
+   (lambda (src format v1 _v2 _) (make-satisfied-failed src format v1 property?))
    ;; test 
    test
    ;; expect