On Wednesday 11 December 2013 09:01:43 Geert Janssens wrote: > Hi Mike, > > This is a bug in the current trunk I still have to fix [1]. > And just for your information, this bug has been fixed in the mean time. Geert > > [1] https://bugzilla.gnome.org/show_bug.cgi?id=720235 >