Minor fix in the documentation