Fix URL to github repository.