diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt
index 5fce5060..4a2745f4 100644
--- a/collects/typed-racket/base-env/base-env.rkt
+++ b/collects/typed-racket/base-env/base-env.rkt
@@ -1925,7 +1925,7 @@
 ;3.2.2.7 (Random Numbers)
 
 [random
-  (cl->* (->opt -PosInt [-Pseudo-Random-Generator] -Nat)
+  (cl->* (->opt -Int [-Pseudo-Random-Generator] -Nat)
          (->opt [-Pseudo-Random-Generator] -Flonum))]
 
 [random-seed (-> -PosInt -Void)]