Fix a small typo in a code comment.