diff --git a/collects/drscheme/syncheck.ss b/collects/drscheme/syncheck.ss
index cb0b4346f0..b8ece28577 100644
--- a/collects/drscheme/syncheck.ss
+++ b/collects/drscheme/syncheck.ss
@@ -1140,7 +1140,8 @@ If the namespace does not, they are colored the unbound color.
           (send (get-button-panel) change-children
                 (λ (l)
                   (cons check-syntax-button-parent-panel
-                        (remove check-syntax-button-parent-panel l))))))
+                        (remove check-syntax-button-parent-panel l))))
+          (update-button-visibility/tab (get-current-tab))))
       
       (define report-error-style (make-object style-delta% 'change-style 'slant))
       (send report-error-style set-delta-foreground "red")