Fix wrong link to github repo