Correct Travis CI build status