gnome3: typo