travis.xml bugfix