updated patch fun example to use proper ExampleJSON