Minor modification to travis.yml