Minor fix in manual