diff --git a/collects/typed/mred/mred.ss b/collects/typed/mred/mred.ss
index c42b478f..053d102a 100644
--- a/collects/typed/mred/mred.ss
+++ b/collects/typed/mred/mred.ss
@@ -23,7 +23,9 @@
                              ()))
 (dt Choice% (Class ()
                    ([parent Any] [label String] [choices (Listof Any)] [callback Any])
-                   ([get-string-selection (-> (Option String))]
+                   ([get-selection (-> (Option Integer))]
+                    [set-selection (Integer -> Any)]
+                    [get-string-selection (-> (Option String))]
                     [set-string-selection (String -> Void)])))
 (dt Message% (Class ()
                     ([parent Any] [label String])