diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/term.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/term.rkt
index e483ea26c9..58310e7bff 100644
--- a/pkgs/redex-pkgs/redex-lib/redex/private/term.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/term.rkt
@@ -145,10 +145,11 @@
                           (cons (syntax [res (func (quasidatum args))])
                                 outer-bindings))
                     (values result-id (min depth max-depth)))
-                  (loop (syntax (begin (mf-map func)))
-                        (syntax/loc args-stx (args (... ...)))
-                        (syntax (res (... ...)))
-                        (sub1 args-depth)))))))))
+                  (with-syntax ([dots (datum->syntax #'here '... arg-stx)])
+                    (loop (syntax (begin (mf-map func)))
+                          (syntax/loc args-stx (args dots))
+                          (syntax (res dots))
+                          (sub1 args-depth))))))))))
   
   (define (rewrite/max-depth stx depth ellipsis-allowed? continuing-an-application?)
     (syntax-case stx (unquote unquote-splicing in-hole hole)