minor fixes for GitHub Pages