Fix Travis CI config file.