diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt
index bb819b209a..2d077184e1 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt
@@ -39,11 +39,9 @@
               ;; add in syntax property on useless expression to draw check-syntax arrows
               [check-syntax-help (syntax-property
                                   (syntax-property
-                                   (syntax-property
-                                    #'(void)
-                                    'disappeared-binding (disappeared-bindings-todo))
-                                   'disappeared-use (disappeared-use-todo))
-                                  'mouse-over-tooltips (type-table->tooltips))])
+                                   #'(void)
+                                   'disappeared-binding (disappeared-bindings-todo))
+                                  'disappeared-use (disappeared-use-todo))])
              ;; reconstruct the module with the extra code
              ;; use the regular %#module-begin from `racket/base' for top-level printing
              (arm #`(#%module-begin #,before-code optimized-body ... #,after-code check-syntax-help)))))))]))
diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
index 4301ff2b22..4d9021bda1 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
@@ -344,11 +344,6 @@
   (do-time "Finished pass2")
   ;; check that declarations correspond to definitions
   (check-all-registered-types)
-  ;; log messages to check-syntax to show extra types / arrows before failures
-  (log-message online-check-syntax-logger
-               'info
-               "TR's tooltip syntaxes; this message is ignored"
-               (list (syntax-property #'(void) 'mouse-over-tooltips (type-table->tooltips))))
   ;; report delayed errors
   (report-all-errors)
   (define provide-tbl
diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt
index 90f2ab48f0..779d3439e1 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt
@@ -118,14 +118,12 @@ don't depend on any other portion of the system
     ;; if there's only one, we don't need multiple-error handling
     [(list (struct err (msg stx)))
      (reset-errors!)
-     (log-type-error msg stx)
      (raise-typecheck-error msg stx)]
     [l
      (let ([stxs
             (for/list ([e (in-list l)])
               (with-handlers ([exn:fail:syntax?
                                (λ (e) ((error-display-handler) (exn-message e) e))])
-                (log-type-error (err-msg e) (err-stx e))
                 (raise-typecheck-error (err-msg e) (err-stx e)))
               (err-stx e))])
        (reset-errors!)