minor adjustment to travis config