diff --git a/collects/redex/private/rewrite-side-conditions.ss b/collects/redex/private/rewrite-side-conditions.ss
index e0db2ae638..7620363269 100644
--- a/collects/redex/private/rewrite-side-conditions.ss
+++ b/collects/redex/private/rewrite-side-conditions.ss
@@ -62,7 +62,7 @@
         [(variable-prefix a ...) (expected-exact 'variable-prefix 1 term)]
         [variable-prefix (expected-arguments 'variable-prefix term)]
         [hole term]
-        [(name x y) #`(name #,(loop #'x) #,(loop #'y))]
+        [(name x y) #`(name x #,(loop #'y))]
         [(name x ...) (expected-exact 'name 2 term)]
         [name (expected-arguments 'name term)]
         [(in-hole a b) #`(in-hole #,(loop #'a) #,(loop #'b))]
diff --git a/collects/redex/tests/tl-test.ss b/collects/redex/tests/tl-test.ss
index c45255a96b..625a7b346e 100644
--- a/collects/redex/tests/tl-test.ss
+++ b/collects/redex/tests/tl-test.ss
@@ -52,6 +52,8 @@
   
   (test (pair? ((redex-match grammar M) '(1 1)))
         #t)
+  
+  (test (pair? (redex-match grammar (name not-an-nt_subscript 1) 1)) #t)
 
   ;; next 3: test naming of subscript-less non-terminals
   (test (pair? (redex-match grammar (M M) (term (1 1)))) #t)