some changes to make sure gh-pages work on github!