Fixed copy/paste bug in pretty printer (infinite loop).