Another correction for travis