diff --git a/collects/typed-scheme/rep/type-rep.rkt b/collects/typed-scheme/rep/type-rep.rkt
index a824bba004..5c9df27563 100644
--- a/collects/typed-scheme/rep/type-rep.rkt
+++ b/collects/typed-scheme/rep/type-rep.rkt
@@ -218,7 +218,7 @@
             #;
             [flds (listof (cons/c Type/c boolean?))]
             [proc (or/c #f Function?)]
-            [poly? boolean?] 
+            [poly? (or/c #f (listof symbol?))]
             [pred-id identifier?]
             [cert procedure?]
             [acc-ids (listof identifier?)]