Doc editorial fix.