Fix a comment typo. No code is changed in PR!