typo fix (GNOME bug 711448)