fix encode/decode using jsonrec