diff --git a/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file1.rkt b/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file1.rkt
index 6e5d13bc..e8060758 100644
--- a/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file1.rkt
+++ b/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file1.rkt
@@ -1,6 +1,6 @@
 #;
 (
-TR missed opt: multi-file1.rkt 12:2 (* x 3) -- all args float-arg-expr, result not Float -- caused by: 12:7 3
+TR missed opt: multi-file1.rkt 12:2 (* x (ann 3 Integer)) -- all args float-arg-expr, result not Float -- caused by: 12:12 3
 )
 
 #lang typed/racket
@@ -9,4 +9,4 @@ TR missed opt: multi-file1.rkt 12:2 (* x 3) -- all args float-arg-expr, result n
 
 (: f : Float -> Real)
 (define (f x)
-  (* x 3))
+  (* x (ann 3 Integer)))
diff --git a/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt b/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt
index 2d8c1dff..7daf58fb 100644
--- a/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt
+++ b/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt
@@ -1,8 +1,7 @@
 #;
 (
-TR missed opt: multi-file1.rkt 12:2 (* x 3) -- all args float-arg-expr, result not Float -- caused by: 12:7 3
-TR opt: multi-file2.rkt 13:10 (+ 3 5) -- fixnum bounded expr
-TR opt: multi-file2.rkt 13:3 (* 3.4 (+ 3 5)) -- binary float
+TR opt: multi-file2.rkt 12:10 (+ 3 5) -- fixnum bounded expr
+TR opt: multi-file2.rkt 12:3 (* 3.4 (+ 3 5)) -- binary float
 81.6
 )