On 08/21/2013 03:45 PM, Tim Shen wrote: > On Wed, Aug 21, 2013 at 8:06 PM, Tim Shen <timshen91@gmail.com> wrote: >> I'm investigating. > Bug fixed locally. I'll propose a patch soon. > > Thank you for reporting! Thanks a lot indeed to both of you! Paolo.