tiny typos in /** doc */