Update DIV for pretty printer.