travis.yml corrections