Some minor printing fixups.