Gtk UI: tiny fix