Minor fix to doc.