Correct env_dump.py