Minor change to travis.yml