Fixing .travis.xml