minor tweaks to pretty-printing