Fixing json_encode/json_decode optimizers