Correcting a typo in a comment.