Travis build 3231 pushed to gh-pages