minor changes travis config