Correct travis file