Fix Travis CI file.