diff --git a/collects/tests/typed-scheme/optimizer/tests/with-type.rkt b/collects/tests/typed-scheme/optimizer/tests/with-type.rkt
index a15fbeb3a8..d68e3c2d63 100644
--- a/collects/tests/typed-scheme/optimizer/tests/with-type.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/with-type.rkt
@@ -1,6 +1,6 @@
 #;
 (
-with-type.rkt line 13 col 19 - + - binary float
+with-type.rkt 13:19 + -- binary float
 34.6
 )