Add support for Gnome 3.12

Simply adding the proper shell version and removing a trailing space.