Fix for GNOME Shell 3.8