Update json-patch-format.txt