Another Travis fix