changed to use gnome term