Minor fix in doc