Minor editorial fix