Fixed Travis CI config