Added compatibility with GNOME 3.8