small fix to github link