Minor cleanup of pull request code