dump_as_json: fix wierd stuff