minor tweak to play nice with gnome-terminal color support