On Thu, 04 Jul 2013 16:48:30 +0300 Jonathan Dieter wrote: > I found the mistake and I've posted a patch to that bug that should fix > it. Cool! So it really is a bug. Thanks for the patch!