I've sent this upstream at http://bugzilla.gnome.org/show_bug.cgi?id=577483 ; thanks for your comments.
I've sent this upstream at http:// bugzilla. gnome.org/ show_bug. cgi?id= 577483 ; thanks for your comments.