Fixed repository name on github pages

Don't know why it's missing there...