diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss
index 4d2f320d..37a06176 100644
--- a/collects/typed-scheme/private/base-env.ss
+++ b/collects/typed-scheme/private/base-env.ss
@@ -128,9 +128,10 @@
                    [((-> a b c) (-lst a) (-lst b)) (-lst c)]
                    [((-> a b c d) (-lst a) (-lst b) (-lst c)) (-lst d)]))]
      [for-each 
-      (-poly (a b c)
+      (-poly (a b c d)
              (cl-> [((-> a b) (-lst a)) -Void]
-                   [((-> a b c) (-lst a) (-lst b)) -Void]))]
+                   [((-> a b c) (-lst a) (-lst b)) -Void]
+                   [((-> a b c d) (-lst a) (-lst b) (-lst c)) -Void]))]
      [foldl
       (-poly (a b c)
              (cl-> [((a b . -> . b) b (make-lst a)) b]