diff --git a/typed-racket-more/typed/racket/private/gui-types.rkt b/typed-racket-more/typed/racket/private/gui-types.rkt
index 9a7ba0d2..8da238c9 100644
--- a/typed-racket-more/typed/racket/private/gui-types.rkt
+++ b/typed-racket-more/typed/racket/private/gui-types.rkt
@@ -1072,7 +1072,7 @@
                [min-height (Option Natural) #:optional]
                [stretchable-width Any #:optional]
                [stretchable-height Any #:optional])
-         [get-value (-> Natural)]
+         [get-value (-> Fixnum)]
          [set-value (Integer -> Void)]))
 
 (define-type Choice%