minor polishing, typo