Make prettyPrint() more pretty.