Fix for bug in gnome-terminal