minor changes to travis.yml