Fix bad link to GitHub.