Fix github link (hopefully)