Fix bug in run.sh