fixed logical types in examples