diff --git a/collects/drracket/private/syncheck/contract-gui.rkt b/collects/drracket/private/syncheck/blueboxes-gui.rkt
similarity index 100%
rename from collects/drracket/private/syncheck/contract-gui.rkt
rename to collects/drracket/private/syncheck/blueboxes-gui.rkt
diff --git a/collects/drracket/private/syncheck/gui.rkt b/collects/drracket/private/syncheck/gui.rkt
index f668cab32a..2c26f60975 100644
--- a/collects/drracket/private/syncheck/gui.rkt
+++ b/collects/drracket/private/syncheck/gui.rkt
@@ -48,7 +48,7 @@ If the namespace does not, they are colored the unbound color.
          "traversals.rkt"
          "annotate.rkt"
          "../tooltip.rkt"
-         "contract-gui.rkt")
+         "blueboxes-gui.rkt")
 (provide tool@)
 
 (define orig-output-port (current-output-port))