diff --git a/curnel/redex-lang.rkt b/curnel/redex-lang.rkt
index 2999c26..a8dab07 100644
--- a/curnel/redex-lang.rkt
+++ b/curnel/redex-lang.rkt
@@ -475,7 +475,7 @@
        #`(begin
            (export-envs gamma-out delta-out bind-out)
            (begin-for-syntax
-             (define nm (map namespace-variable-value (namespace-mapped-symbols)))
+             (define nm (map (lambda (x) (namespace-variable-value x #f (lambda x #t))) (namespace-mapped-symbols)))
              (bind-subst (first (memf subst? nm)))
              (gamma (first (memf Γ? nm)))
              (delta (first (memf Δ? nm))))