Minor fix in doc.