Gnome shell 3.8

A very little change for Gnome Shell 3.8.