diff --git a/collects/typed-racket/optimizer/tool/tool.rkt b/collects/typed-racket/optimizer/tool/tool.rkt
index 8dde16ee46..6cab8eec38 100644
--- a/collects/typed-racket/optimizer/tool/tool.rkt
+++ b/collects/typed-racket/optimizer/tool/tool.rkt
@@ -35,6 +35,11 @@
                     [_ #f]))))
 
 (define-local-member-name get-optimization-coach-menu-item)
+(define-local-member-name highlighting-shown?)
+(define-local-member-name add-highlights)
+(define-local-member-name clear-highlights)
+(define-local-member-name show-optimization-coach-panel)
+(define-local-member-name hide-optimization-coach-panel)
 
 (define optimization-coach-drracket-button
   (list