<div dir="ltr">Fixed in rev. 2037<div class="gmail_extra"><br>(thanks to A. Kakuto)<br clear="all"><div><br></div>-- <br>luigi<br>
</div></div>