diff --git a/collects/tests/typed-scheme/succeed/for.rkt b/collects/tests/typed-scheme/succeed/for.rkt
index 5a67ae59bb..8dfd6c0844 100644
--- a/collects/tests/typed-scheme/succeed/for.rkt
+++ b/collects/tests/typed-scheme/succeed/for.rkt
@@ -21,7 +21,7 @@
                  ((i : Integer '(1 2 3))
                   (j : Char "abc")
                   #:when (odd? i)
-                  (k : True #(#t #t))
+                  (k : Boolean #(#t #t))
                   #:when k)
                  (display (list i j k)))))
        "(1 a #t)(1 a #t)(3 c #t)(3 c #t)")