minor changes to allow push to gh-pages