Fix mislinked anchor for Github link.