Fix documentation
Minor fix in documentation