Github URL fix
Merge pull request #1230 from davidfischer/trivial-docs-fix

Github URL fix