Fix typo in an example