Fix a typo in run.sh