Updated for Gnome Shell 3.8 compatibility