one more fix to JsonPointer