more prettyprint methods