another small typo fix