Adapted to Gnome Shell 3.8