diff --git a/collects/typed-scheme/utils/tc-utils.ss b/collects/typed-scheme/utils/tc-utils.ss
index 60f996ec..69c990e8 100644
--- a/collects/typed-scheme/utils/tc-utils.ss
+++ b/collects/typed-scheme/utils/tc-utils.ss
@@ -6,7 +6,9 @@ don't depend on any other portion of the system
 |#
 
 (provide (all-defined-out))
-(require "syntax-traversal.ss" syntax/parse (for-syntax scheme/base syntax/parse) scheme/match
+(require "syntax-traversal.ss"
+	 "utils.ss"
+	 syntax/parse (for-syntax scheme/base syntax/parse) scheme/match
          (for-syntax unstable/syntax))
 
 ;; a parameter representing the original location of the syntax being currently checked
@@ -127,11 +129,14 @@ don't depend on any other portion of the system
 (define-struct (exn:fail:tc exn:fail) ())
 
 ;; raise an internal error - typechecker bug!
-(define (int-err msg . args)  
-  (raise (make-exn:fail:tc (string-append "Internal Typechecker Error: "
-                                          (apply format msg args)
-                                          (format "\nwhile typechecking\n~a" (syntax->datum (current-orig-stx))))
-                           (current-continuation-marks))))
+(define (int-err msg . args) 
+  (parameterize ([custom-printer #t])
+    (raise (make-exn:fail:tc (string-append "Internal Typechecker Error: "
+					    (apply format msg args)
+					    (format "\nwhile typechecking\n~aoriginally\n~a"
+						    (syntax->datum (current-orig-stx))
+						    (syntax->datum (locate-stx (current-orig-stx)))))
+			     (current-continuation-marks)))))
 
 (define-syntax (nyi stx)
   (syntax-case stx ()