This is perhaps the same as https://bugzilla.gnome.org/show_bug.cgi?id=730220 (patch available there).
This is perhaps the same as https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 730220 (patch available there).