Update dom_printer.js