Another Travis refinement