Small edit to travis.yml