Fixing a typo in some comment.