diff --git a/collects/racket/contract.rkt b/collects/racket/contract.rkt
index 35ff046a4c..1a7408ccbc 100644
--- a/collects/racket/contract.rkt
+++ b/collects/racket/contract.rkt
@@ -4,9 +4,17 @@
          racket/contract/regions
          "contract/private/basic-opters.rkt"
          "contract/base.rkt"
+         "contract/private/legacy.rkt"
+         "contract/private/ds.rkt"
+         "contract/private/opt.rkt"
          "private/define-struct.rkt")
 
 (provide (all-from-out "contract/base.rkt")
- (except-out (all-from-out racket/contract/exists) ∀∃?)
- (all-from-out racket/contract/regions))
+         (except-out (all-from-out racket/contract/exists) ∀∃?)
+         (all-from-out racket/contract/regions)
+
+         (all-from-out "contract/private/legacy.rkt")
+         opt/c define-opt/c ;(all-from-out "private/opt.rkt")
+         (except-out (all-from-out "contract/private/ds.rkt")
+                     lazy-depth-to-look))
 
diff --git a/collects/racket/contract/base.rkt b/collects/racket/contract/base.rkt
index 150d5d6fdf..8d286a2047 100644
--- a/collects/racket/contract/base.rkt
+++ b/collects/racket/contract/base.rkt
@@ -13,17 +13,10 @@
          "private/misc.rkt"
          "private/provide.rkt"
          "private/guts.rkt"
-         "private/legacy.rkt"
-         "private/ds.rkt"
-         "private/opt.rkt"
          "private/blame.rkt"
          "private/prop.rkt")
 
 (provide
- opt/c define-opt/c ;(all-from-out "private/opt.rkt")
- (except-out (all-from-out "private/ds.rkt")
-             lazy-depth-to-look)
-
  (except-out (all-from-out "private/arrow.rkt")
              making-a-method
              procedure-accepts-and-more?
@@ -40,7 +33,6 @@
              check-unary-between/c)
  (all-from-out "private/provide.rkt")
  (all-from-out "private/base.rkt")
- (all-from-out "private/legacy.rkt")
  (except-out (all-from-out "private/guts.rkt")
              check-flat-contract
              check-flat-named-contract)