Travis build 518, commit b7eb445faa0fde5fc18796b8fae2a66a5ae0933e, pushed to gh-pages