small modification to the .travis file