Minor bugfixes to start.sh