Improve the IR/JS printers