misc fixes to generate gh-page