Small change to keep up with gnome-terminal