Correct Env erasing