Update instructions
Update check_env