Fixed a link to an old pull request.