diff --git a/collects/typed/mred/mred.ss b/collects/typed/mred/mred.ss
index 80984c28..f1fa122b 100644
--- a/collects/typed/mred/mred.ss
+++ b/collects/typed/mred/mred.ss
@@ -22,7 +22,7 @@
                               [alignment (List Symbol Symbol) #t])
                              ()))
 (dt Choice% (Class ()
-                   ([parent Any] [label String] [choices List] [callback Any])
+                   ([parent Any] [label String] [choices (Listof Any)] [callback Any])
                    ([get-string-selection (-> (Option String))]
                     [set-string-selection (String -> Void)])))
 (dt Message% (Class ()