little repair on .travis.yml