Fix for GNOME 3.8; this version only works on 3.8