small bugfix in setup.sh