Further tweak to pull request docs.