diff --git a/collects/typed-scheme/optimizer/tool/display.rkt b/collects/typed-scheme/optimizer/tool/display.rkt
index f268623753..d912864268 100644
--- a/collects/typed-scheme/optimizer/tool/display.rkt
+++ b/collects/typed-scheme/optimizer/tool/display.rkt
@@ -1,14 +1,16 @@
 #lang racket/base
 
-(require racket/string racket/pretty racket/class racket/gui/base
+(require racket/string unstable/pretty racket/class racket/gui/base
          unstable/sequence)
 
 (provide format-message make-color-table)
 
 (define (format-message stxs+msgs)
   (string-join (for/list ([(stx msg) (in-pairs stxs+msgs)])
-                 (format "~a\n~a"
-                         (pretty-format (syntax->datum stx))
+                 (format "~a:~a: ~a~a"
+                         (syntax-line stx)
+                         (syntax-column stx)
+                         (pretty-format/write (syntax->datum stx))
                          msg))
                "\n\n"))