Incorporated toPrettyString