Small improvements to AIG and Printer.