Fix a typo in my comment