correction of small typo