Fix some PR urls.
Merge pull request #3229 from yallop/pr-urls

Fix some PR urls.