Minor changes to github pages