Corrections to travis.yml