Fix a bug in json_decoder.lua.