diff --git a/racket/collects/racket/private/reqprov.rkt b/racket/collects/racket/private/reqprov.rkt
index 0f369f7eeb..1e62d95fa0 100644
--- a/racket/collects/racket/private/reqprov.rkt
+++ b/racket/collects/racket/private/reqprov.rkt
@@ -736,8 +736,9 @@
                                    (if (eq? (syntax-e (export-local-id export))
                                             (export-out-sym export))
                                        (export-local-id export)
-                                       #`(rename #,(export-local-id export)
-                                                 #,(export-out-sym export)))]
+                                       (quasisyntax/loc out
+                                         (rename #,(export-local-id export)
+                                                 #,(export-out-sym export))))]
                                   [mode (export-mode export)])
                               (let ([phased
                                      (cond