Fix to setup.sh