Fix typo/breakage in setup.sh