Fix a type in example