tree2json: Change encoder name