diff --git a/collects/typed-racket/optimizer/tool/tool.rkt b/collects/typed-racket/optimizer/tool/tool.rkt
index b9bb702df0..e895f20c0e 100644
--- a/collects/typed-racket/optimizer/tool/tool.rkt
+++ b/collects/typed-racket/optimizer/tool/tool.rkt
@@ -284,6 +284,7 @@
                  ([(lambda (e) (and (exn? e) (not (exn:break? e))))
                    ;; typechecking failed, report in the interactions window
                    (lambda (e)
+                     (close-optimization-coach)
                      (send interactions reset-console)
                      (send interactions run-in-evaluation-thread
                            (lambda () (raise e))))])