minor tweak
fix a bug (in json_decoder.lua)