Fixed minor bug in setup.sh.