a few output tweaks