diff --git a/collects/typed-racket/base-env/base-env-indexing-abs.rkt b/collects/typed-racket/base-env/base-env-indexing-abs.rkt
index fe36da07..5b31d5d8 100644
--- a/collects/typed-racket/base-env/base-env-indexing-abs.rkt
+++ b/collects/typed-racket/base-env/base-env-indexing-abs.rkt
@@ -340,7 +340,7 @@
    [raise-arguments-error
     (->* (list Sym -String) Univ (Un))]
    [raise-range-error
-    (->opt Sym -String -String index-type Univ index-type index-type [index-type] (Un))]
+    (-> Sym -String -String index-type Univ index-type index-type (Un index-type (-val #f)) (Un))]
 
    ))