Fixed the Travis CI config