Adapt to new JsonPointer version