Correct the configuration of Travis CI