Fix typo in a comment...