Another Travis tweak