a couple of pretty-printing tweaks