Update minor fixes in docs and gh-pages