fix a tiny typo error