Fixed typo in pretty printer.