tweaks for github-pages