<div dir="ltr">One bug fix,<div>2 code simplifications that done have real algorithm changes.<br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr">Best regards,<div>Guido</div></div></div>
</div></div>