Fix silly mistake in run.sh