I have committed the fix to trunk and reported the bug upstream to https://bugzilla.gnome.org/show_bug.cgi?id=612951
I have committed the fix to trunk and reported the bug upstream to https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 612951