Fix types in example