Fix Gnome proxy function.