pretty printing tweaks - line up compiler output