Typo in example corrected.