diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt
index 435a6772..8c1d45c4 100644
--- a/collects/typed-scheme/private/base-env.rkt
+++ b/collects/typed-scheme/private/base-env.rkt
@@ -142,7 +142,7 @@
 [fifth   (-poly (a) ((-lst a) . -> .  a))]
 [sixth   (-poly (a) ((-lst a) . -> .  a))]
 [seventh (-poly (a) ((-lst a) . -> .  a))]
-[eigth   (-poly (a) ((-lst a) . -> .  a))]
+[eighth  (-poly (a) ((-lst a) . -> .  a))]
 [ninth   (-poly (a) ((-lst a) . -> .  a))]
 [tenth   (-poly (a) ((-lst a) . -> .  a))]
 [rest (-poly (a b)