small edit to travis-yaml