diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt
index a76356389..832cc82c7 100644
--- a/typed-racket-lib/typed-racket/base-env/base-env.rkt
+++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -2933,7 +2933,7 @@
 [copy-file (->optkey -Pathlike -Pathlike [(-lst -Symbol)]
 		     #:exists-ok? Univ #f
 		     #:permissions Univ #f
-		     #:replace-permissions Univ #f
+		     #:replace-permissions? Univ #f
 		     -Void)]
 [make-file-or-directory-link (-> -Pathlike -Pathlike -Void)]