fix error in doc (thanks gizpo)