diff --git a/collects/typed-racket/utils/tc-utils.rkt b/collects/typed-racket/utils/tc-utils.rkt
index c74c999d54..7acc2095e7 100644
--- a/collects/typed-racket/utils/tc-utils.rkt
+++ b/collects/typed-racket/utils/tc-utils.rkt
@@ -93,9 +93,9 @@ don't depend on any other portion of the system
     [l
      (let ([stxs
             (for/list ([e l])
-              (sync (thread
-                     (lambda ()
-                       (raise-typecheck-error (err-msg e) (err-stx e)))))
+              (with-handlers ([exn:fail:syntax? 
+                               (λ (e) ((error-display-handler) (exn-message e) e))])
+                (raise-typecheck-error (err-msg e) (err-stx e)))
               (err-stx e))])
        (reset!)
        (unless (null? stxs)