undid changes in prettyPrint() and prettyPrintUnion()