some quick fixes for github pages