Is the change in dump_json intended?