Fixed to work in GNOME 3.8