Typo fix in an example