updated to work with gnome-shell 3.8