Correct Travis CI configuration