Typo and bug fix in example