Small bugfix on run.sh