diff --git a/collects/racket/private/for.rkt b/collects/racket/private/for.rkt
index fc61570f90..65208e778c 100644
--- a/collects/racket/private/for.rkt
+++ b/collects/racket/private/for.rkt
@@ -118,7 +118,8 @@
              (if (identifier? stx)
                  (proc1)
                  (datum->syntax stx
-                                #`(#,(proc1) . #,(cdr (syntax-e stx)))
+                                ;; Use cons, not #`(#,op #,@args), to avoid replacing implicit #%app binding
+                                (cons (proc1) (cdr (syntax-e stx)))
                                 stx
                                 stx)))
            proc1)