Yet more fixes to JsonPointer handling