Another small Travis change