Correct a typo in a comment