Fixed PrettyPrinter defindedEx printout