Fix a typo in an example