More Travis fix