forwarded 775242 https://bugzilla.gnome.org/show_bug.cgi?id=738469 thanks This bug has been reported upstream by Michael Biebl a few months before I submitted my bug report. So let's just use his report as the forwarded address.