update for gnome 3.6.2