diff --git a/collects/eopl/eopl.rkt b/collects/eopl/eopl.rkt
index bc6c2f5a0b..9fe60fb335 100644
--- a/collects/eopl/eopl.rkt
+++ b/collects/eopl/eopl.rkt
@@ -141,7 +141,7 @@
          empty           ;; for constructor-based printing
          trace untrace   ;; debugging
          require module  ;; we allow full use of modules
-         only-in 
+         only-in
 	 prefix-in
          provide         ;; in case someone wants to use a module
 	 all-defined-out
diff --git a/collects/eopl/eopl.scrbl b/collects/eopl/eopl.scrbl
index 6d69ed467d..9831b13d37 100644
--- a/collects/eopl/eopl.scrbl
+++ b/collects/eopl/eopl.scrbl
@@ -6,11 +6,11 @@
                      scheme/contract
                      (only-in scheme printf pretty-print delay force)))
 
-@(define-syntax-rule (def-mz id)
+@(define-syntax-rule (def-rkt id)
    (begin
-     (require (for-label mzscheme))
+     (require (for-label racket))
      (define id (racket provide))))
-@(def-mz mzscheme-provide)
+@(def-rkt racket-provide)
 
 @(define-syntax-rule (reprovide id ...)
    (*threecolumns (list (racket id) ... 'nbsp 'nbsp)))
@@ -204,8 +204,8 @@ The following bindings are re-@racket[provide]d from
 @defform[(provide provide-spec ...)]{
 
   Useful only with a module that uses @racketmodname[eopl] as a
-  language: exports identifiers from the module. See @mzscheme-provide
-  from @racketmodname[mzscheme] for more information.}
+  language: exports identifiers from the module. See @racket-provide
+  from @racketmodname[racket] for more information.}
 
 @defthing[eopl:error-stop (-> any/c)]{