Minor travis fix [ci skip]