diff --git a/collects/typed-scheme/typed-scheme.ss b/collects/typed-scheme/typed-scheme.ss
index 5646b76a53..3679a8f4b9 100644
--- a/collects/typed-scheme/typed-scheme.ss
+++ b/collects/typed-scheme/typed-scheme.ss
@@ -135,11 +135,11 @@
                             [(tc-results: t)
                              (format "- : ~a\n" type)]
                             [x (int-err "bad type result: ~a" x)])])
-              (if #'ty-str                  
+              (if ty-str                  
                   #`(let ([type '#,ty-str])
                       (begin0 
                         #,body2
-                        (printf type)))
+                        (display type)))
                   body2))]))]))