Minor fix in the doc.