Minor change in run.sh.