fix a "typo"