Slight mod of travis file