diff --git a/collects/tests/typed-scheme/succeed/sequences.ss b/collects/tests/typed-scheme/succeed/sequences.ss
index c584ad8543..00a162efd4 100644
--- a/collects/tests/typed-scheme/succeed/sequences.ss
+++ b/collects/tests/typed-scheme/succeed/sequences.ss
@@ -7,3 +7,4 @@
 (ann (for ([z (open-input-string "foobar")]) (add1 z)) Void)
 
 (ann (for ([z (in-list (list 1 2 3))]) (add1 z)) Void)
+(ann (for ([z (in-vector (vector 1 2 3))]) (add1 z)) Void)
\ No newline at end of file
diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss
index 0c2b5c9d9a..959ea1fb1c 100644
--- a/collects/typed-scheme/private/base-env.ss
+++ b/collects/typed-scheme/private/base-env.ss
@@ -651,7 +651,9 @@
 ;; unsafe
 
 [unsafe-vector-ref (-poly (a) ((-vec a) -Nat . -> . a))]
+[unsafe-vector*-ref (-poly (a) ((-vec a) -Nat . -> . a))]
 [unsafe-vector-length (-poly (a) ((-vec a) . -> . -Nat))]
+[unsafe-vector*-length (-poly (a) ((-vec a) . -> . -Nat))]
 [unsafe-car (-poly (a b) 
               (cl->*
                (->acc (list (-pair a b)) a (list -car))))]