misc tweaks to pretty printing
ASDASD