diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/let-poly/4.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/let-poly/4.diff
index 2866bbff00..745e3ef770 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/let-poly/4.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/let-poly/4.diff
@@ -10,5 +10,5 @@
 >   [(uh (x τ G) G_r boolean) ⊥ (where #t (in-vars? x τ))]
 571a574,576
 > 
-> (define small-counter-example (term ((λ x (x x)) (λ x x))))
+> (define small-counter-example (term ((λ x (x x)) hd)))
 > (test-equal (check small-counter-example) #f)
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/let-poly/let-poly-4.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/let-poly/let-poly-4.rkt
index 40472524ca..4bc27ba6e3 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/let-poly/let-poly-4.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/let-poly/let-poly-4.rkt
@@ -572,5 +572,5 @@ from the given term.
                              (or (equal? red-t "error")
                                  (loop red-t))))))))))))
 
-(define small-counter-example (term ((λ x (x x)) (λ x x))))
+(define small-counter-example (term ((λ x (x x)) hd)))
 (test-equal (check small-counter-example) #f)