diff --git a/collects/typed-scheme/private/base-env-indexing-abs.rkt b/collects/typed-scheme/private/base-env-indexing-abs.rkt
index e7c7564232..e2e73e9b55 100644
--- a/collects/typed-scheme/private/base-env-indexing-abs.rkt
+++ b/collects/typed-scheme/private/base-env-indexing-abs.rkt
@@ -135,7 +135,7 @@
    [build-vector (-poly (a) (index-type (index-type . -> . a) . -> . (-vec a)))]
    [vector-set! (-poly (a) (-> (-vec a) index-type a -Void))]
    [vector-copy! (-poly (a) ((-vec a) index-type (-vec a) [index-type index-type] . ->opt . -Void))]
-   [make-vector (-poly (a) (cl-> [(index-type) (-vec index-type)]
+   [make-vector (-poly (a) (cl-> [(index-type) (-vec -Nat)]
                                  [(index-type a) (-vec a)]))]
    
    [peek-char
@@ -154,4 +154,4 @@
      [(Sym -String index-type (-lst Univ)) (Un)])]
    
    ))
-   
\ No newline at end of file
+