fixed a typo (user pull request in other branch)