A possibile revision to the JSON-Patch format