Fixes to GitHub URLs from master