minor travis file update