>
> Yes, that is what I meant and the that fixed the bug.
>

Thanks.

Stefan, Eli, any comments on/objections to this patch before I install it?