Add a bug fix from the json-patch-php lib.