minor bugfix in setup.sh