fix type in example