Fix in travis.yml