Another small fix for run.sh