Hi Andrzej,

> 
> That one is a bug.  I remember it caught my eye at some point but
> later I forgot about it.  This is more or less how I'd try to fix it:

I pushed a fix b1f4e981f4935bff1b198a24cf110a6e838e42a9.  Please review
it and let me know if I screwed it up.

Regards,
-Denis