Update for GNOME 3.8

upper fix