Another correction to travis.yml