Some modest changes for travis