Minor bugfix to run.sh