diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
index 6f6b3f7fd1..caabccb73d 100644
--- a/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
@@ -926,7 +926,7 @@
   (map/e
    (compose string->symbol list->string)
    (compose string->list symbol->string)
-   (many1/e char/e)))
+   (many/e char/e)))
 
 (define base/e
   (disj-sum/e #:alternate? #t