Fix Travis CI config file