Minor fix in documentation.