diff --git a/collects/tests/typed-racket/optimizer/tests/vector-length.rkt b/collects/tests/typed-racket/optimizer/tests/vector-length.rkt
index f3620310a4..5189bde83e 100644
--- a/collects/tests/typed-racket/optimizer/tests/vector-length.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/vector-length.rkt
@@ -1,7 +1,7 @@
 #;
 (
-TR opt: vector-length.rkt 14:0 (vector-length (vector 1 2 3)) -- known-length vector-length
-TR opt: vector-length.rkt 15:0 (vector-length (ann (vector 4 5 6) (Vectorof Integer))) -- known-length vector-length
+TR opt: vector-length.rkt 12:0 (vector-length (vector 1 2 3)) -- known-length vector-length
+TR opt: vector-length.rkt 13:0 (vector-length (ann (vector 4 5 6) (Vectorof Integer))) -- known-length vector-length
 3
 3
 )