added definitions for json-pointer