Fixed incompatibilities with Gnome 3.10.