Undoing gh-pages merge mistake