small Travis improvements