Small typo fix
Merge pull request #1165