Fixing link to GitHub repo in docs