more small terminal output tweaks