Hack for gnome-terminal.
Add comments about hack (gnome-terminal).