diff --git a/collects/scheme/modspec-forms.ss b/collects/scheme/reqprov.ss
similarity index 100%
rename from collects/scheme/modspec-forms.ss
rename to collects/scheme/reqprov.ss
diff --git a/collects/scribblings/reference/syntax.scrbl b/collects/scribblings/reference/syntax.scrbl
index 2bd592607d..3d1b255db8 100644
--- a/collects/scribblings/reference/syntax.scrbl
+++ b/collects/scribblings/reference/syntax.scrbl
@@ -1717,7 +1717,7 @@ context of the @scheme[phaseless-spec] form.}
 
 @subsection{Additional @scheme[require] and @scheme[provide] Macros}
 
-@note-lib-only[scheme/modspec-forms]
+@note-lib-only[scheme/reqprov]
 
 This library provides additional forms for use in @scheme[require] and
 @scheme[provide].  These forms provide more complex selection and
@@ -1726,14 +1726,14 @@ massaging of identifiers that are useful in some cases.  Note that a
 requiring the library itself should be a separate form.  For example, use
 
 @schemeblock[
-  (require scheme/modspec-forms)
+  (require scheme/reqprov)
   (require (matching-identifiers-in #rx"foo" "foo.ss"))
 ]
 
 instead of
 
 @schemeblock[
-  (require scheme/modspec-forms
+  (require scheme/reqprov
            (matching-identifiers-in #rx"foo" "foo.ss"))
 ]
 
diff --git a/collects/srfi/4.ss b/collects/srfi/4.ss
index ccf11833cf..068f73e7a9 100644
--- a/collects/srfi/4.ss
+++ b/collects/srfi/4.ss
@@ -1,6 +1,6 @@
 #lang scheme/base
 
-(require scheme/modspec-forms)
+(require scheme/reqprov)
 
 ;; Note: this also gets additional functions for srfi-66 (u8vector-copy,
 ;; u8vector=?, u8vector-compare, u8vector-copy!) -- but that should be fine,
diff --git a/collects/srfi/66.ss b/collects/srfi/66.ss
index add9cbe5cf..d2241bd07c 100644
--- a/collects/srfi/66.ss
+++ b/collects/srfi/66.ss
@@ -1,5 +1,5 @@
 #lang scheme/base
 
-(require scheme/modspec-forms)
+(require scheme/reqprov)
 (require (matching-identifiers-in #px"\\bu8vector\\b" scheme/foreign))
 (provide (all-from-out scheme/foreign))