On 31 Jul 2013, at 22:53, bearophile wrote: > I think I have found another small bug: Again, please consider creating a GitHub account and reporting this and any other issues on our bug tracker. It literally takes just one minute, and your excellent reports are only in danger of being overlooked here. Thanks, David