Another Travis fix...