diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/enum.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/enum.rkt
index 58f5f145ad..933a02d7e7 100644
--- a/pkgs/redex-pkgs/redex-lib/redex/private/enum.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/enum.rkt
@@ -215,7 +215,7 @@
      (define term-fn (refs-to-fn termpat-refs))
      (λ (nv)
         (define ctx (ctx-fn nv))
-        (define term (term-fn term))
+        (define term (term-fn nv))
         (plug-hole ctx term))]
     [(hide-hole p)
      (define p-fn (refs-to-fn p))
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/enum-test.rkt b/pkgs/redex-pkgs/redex-test/redex/tests/enum-test.rkt
index 8f08eb1f04..d62cfe0663 100644
--- a/pkgs/redex-pkgs/redex-test/redex/tests/enum-test.rkt
+++ b/pkgs/redex-pkgs/redex-test/redex/tests/enum-test.rkt
@@ -157,6 +157,8 @@
 (try-it 100 Holes i2)
 (try-it 1 Holes hole)
 (try-it 100 Holes (in-hole hole number))
+(try-it 100 Holes (in-hole (cons hole boolean) (cons number string)))
+(try-it 100 Holes (in-hole (cons hole number_1) number_1))
 
 ;; Cross test
 (define-language CrossLang