Small fixes for run.sh