small fix to github link on mainpage