more tweaks for gh-pages