Minor fix in documentation