minor changes in GTK