modify ReturnEnv