diff --git a/collects/redex/private/reduction-semantics.rkt b/collects/redex/private/reduction-semantics.rkt
index 15377870c0..182dbdd85d 100644
--- a/collects/redex/private/reduction-semantics.rkt
+++ b/collects/redex/private/reduction-semantics.rkt
@@ -1757,7 +1757,7 @@
        (for-each 
         (λ (x)
           (syntax-case x ()
-            [(stuff ...) (void)]
+            [(stuff stuff2 ...) (void)]
             [x (raise-syntax-error syn-error-name "expected a clause" stx #'x)]))
         (syntax->list #'(x ...)))
        (raise-syntax-error syn-error-name "error checking failed.2" stx))]))