Not longer needed for GNOME 3.8 - comment