Some changes for Gnome 3.10