cosmetic improvements in output