Made consistent with run-pep.sh