Fix setup.sh: typos and such