some editorial fix