diff --git a/collects/drracket/private/syncheck/contract-gui.rkt b/collects/drracket/private/syncheck/contract-gui.rkt
index 4aa63d16d2..e8d1bfcf24 100644
--- a/collects/drracket/private/syncheck/contract-gui.rkt
+++ b/collects/drracket/private/syncheck/contract-gui.rkt
@@ -793,7 +793,9 @@
              #t)]
     [else
      ;; otherwise we make an extra line at the top for the first line
-     (values (max main-w label-w)
+     (values (max main-w 
+                  (+ label-w blue-box-margin blue-box-margin)
+                  (+ read-more-w blue-box-margin blue-box-margin))
              (+ main-h label-h read-more-h read-more-gap)
              #f)]))