Minor fix on documentation.