make gh-pages happy