fixed format of examples/printer.cpp