fixed types in example