correct travis file