minor change to travis config