minor change at travis.yml