fix small typo
Merge pull request #1002