The bug https://bugzilla.gnome.org/show_bug.cgi?id=603612 at GNOME Bugzilla may be related to this one.
The bug https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 603612 at GNOME Bugzilla may be related to this one.