really fix the typo (GNOME bug 711448)