diff --git a/collects/htdp/bsl/reader.rkt b/collects/htdp/bsl/reader.rkt
index 7bbb381ba1..ed1cf82b95 100644
--- a/collects/htdp/bsl/reader.rkt
+++ b/collects/htdp/bsl/reader.rkt
@@ -27,7 +27,7 @@
   (case key
     [(drscheme:toolbar-buttons)
      (list (dynamic-require 'stepper/drscheme-button 'stepper-drscheme-button)
-           (dynamic-require 'drscheme/syncheck-drscheme-button 'syncheck-drscheme-button))]
+           (dynamic-require 'drscheme/syncheck-drracket-button 'syncheck-drracket-button))]
     
     [(drscheme:opt-out-toolbar-buttons)
      ;; opt-out of all of the extra buttons b/c 
diff --git a/collects/scribblings/tools/tools.scrbl b/collects/scribblings/tools/tools.scrbl
index 0b387eae29..4c44e6e786 100644
--- a/collects/scribblings/tools/tools.scrbl
+++ b/collects/scribblings/tools/tools.scrbl
@@ -482,9 +482,9 @@ for a list of the capabilities registered by default.
 Check Syntax is a part of the DrScheme collection, but is implemented via the tools api, i.e.,
 not taking any advantage of 
 
-@defmodule[drscheme/syncheck-drscheme-button]
+@defmodule[drscheme/syncheck-drracket-button]
 
-@defthing[syncheck-drscheme-button
+@defthing[syncheck-drracket-button
           (list/c 
            string?
            (is-a?/c bitmap%)