Minor fix on doc.