Minor fix in doc format