SETUP.bash fix