fix GNOME #701219