Fix typo in a comment