Fixed travis file (I think)