miscellaneous fixes to print style
miscellaneous fixes to print style