Another travis fix