Minor fix in documentation 2