fix json_dump