Another Travis tweak.