diff --git a/src/VarVarBind.ml b/src/VarVarBind.ml
index 9c1411a..3885f18 100644
--- a/src/VarVarBind.ml
+++ b/src/VarVarBind.ml
@@ -27,7 +27,7 @@ let rec clean_term map_env = function
             clean_value map_env value,
             clean_term map_env next)
 | S.LetVal (name, S.VVar subVar, next) ->
-        clean_term (Env.add name subVar map_env) next
+        clean_term (Env.add name (clean_var map_env subVar) map_env) next
 | S.LetVal (name, value, next) ->
         S.LetVal (name, value, clean_term map_env next)
 | S.LetBlo (name, S.Con(tag, args), next) ->