Fixing typo in an example