small change to travis file