fixing typo in an example