Minor tweaks to PR