GNOME 3.8 fixes