fix a typo in an example