Removed this, hoping it will fix gh-page build failure