minor clean up for JsonPointer changes (fixing what I think was a minor bug)