tweak terminal formatting