Fix .travis file