fix minor stuff in gh-pages