examples: Typo in comment.