Corrected a typo in one comment.