Adjustments due to github pages