diff --git a/collects/typed-scheme/utils/tc-utils.rkt b/collects/typed-scheme/utils/tc-utils.rkt
index e9edbf37..5793563e 100644
--- a/collects/typed-scheme/utils/tc-utils.rkt
+++ b/collects/typed-scheme/utils/tc-utils.rkt
@@ -139,7 +139,7 @@ don't depend on any other portion of the system
 (define (int-err msg . args)
   (raise (make-exn:fail:tc (string-append "Internal Typechecker Error: "
                                           (apply format msg args)
-                                          (format "\nwhile typechecking\n~aoriginally\n~a"
+                                          (format "\nwhile typechecking:\n~a\noriginally:\n~a"
                                                   (syntax->datum (current-orig-stx))
                                                   (syntax->datum (locate-stx (current-orig-stx)))))
                            (current-continuation-marks))))