correcting travis file