diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
index f930ff6137..69a5baf1b9 100644
--- a/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
@@ -785,7 +785,7 @@
     [(e)
      (define fix-size
        (if (= 0 (size e))
-           0
+           1
            +inf.0))
      (fix/e fix-size
             (λ (self)
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/enumerator-test.rkt b/pkgs/redex-pkgs/redex-test/redex/tests/enumerator-test.rkt
index 6dcc889c07..02a50724f1 100644
--- a/pkgs/redex-pkgs/redex-test/redex/tests/enumerator-test.rkt
+++ b/pkgs/redex-pkgs/redex-test/redex/tests/enumerator-test.rkt
@@ -419,3 +419,8 @@
   (many/e nats/e))
 (check-bijection? natss)
 
+(define emptys/e
+  (many/e empty/e))
+(check-equal? (decode emptys/e 0) '())
+(check-bijection? emptys/e)
+