tiny typo in /** doc */