Fix prettyPrint. Would be better handled as helper