Minor editorial fix.