diff --git a/collects/meta/web/download/main.rkt b/collects/meta/web/download/main.rkt
index ef45b69681..36ce50b8cf 100644
--- a/collects/meta/web/download/main.rkt
+++ b/collects/meta/web/download/main.rkt
@@ -1,4 +1,3 @@
 #lang at-exp s-exp "shared.rkt"
 
 (require "index.rkt")
-(provide (rename-out [index download]))
diff --git a/collects/meta/web/www/download.rkt b/collects/meta/web/www/download.rkt
index ea71d986cb..90a4ffd024 100644
--- a/collects/meta/web/www/download.rkt
+++ b/collects/meta/web/www/download.rkt
@@ -2,7 +2,7 @@
 
 (require "../download/download-pages.rkt")
 
-(provide download-button)
+(provide download-button download)
 
 (define download
   (page #:link-title "Download" #:window-title "Download Racket"
diff --git a/collects/meta/web/www/main.rkt b/collects/meta/web/www/main.rkt
index 5cbe90a4dd..c31e38d576 100644
--- a/collects/meta/web/www/main.rkt
+++ b/collects/meta/web/www/main.rkt
@@ -1,5 +1,5 @@
 #lang at-exp s-exp "shared.rkt"
 
-(require "index.rkt" "community.rkt" "outreach+research.rkt"
+(require "index.rkt" "download.rkt" "community.rkt" "outreach+research.rkt"
          "help.rkt" "new-name.rkt")
-(provide (rename-out [index main]) community outreach+research help)
+(provide (rename-out [index main]) download community outreach+research help)