diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
index 85a0a011aa..6438a24eaa 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -538,8 +538,8 @@
                    ((list a) (b b) . ->... . c)
                    (-lst a))
                   ((-lst b) b) . ->... .(-lst c))))]
-[for-each (-polydots (c a b) ((list ((list a) (b b) . ->... . Univ) (-lst a))
-                              ((-lst b) b) . ->... . -Void))]
+[for-each (-polydots (a b) ((list ((list a) (b b) . ->... . Univ) (-lst a))
+                            ((-lst b) b) . ->... . -Void))]
 #;[fold-left (-polydots (c a b) ((list ((list c a) (b b) . ->... . c) c (-lst a))
                                ((-lst b) b) . ->... . c))]
 #;[fold-right (-polydots (c a b) ((list ((list c a) (b b) . ->... . c) c (-lst a))