updating the example in the spec