Small editorial fix.