Documentation correction.
Minor doc fix.