<div dir="ltr">Hi,<br>It turns out that the patch I sent a few hours ago caused a double reference, that caused a segmentation fault, sorry, I fixed it here.<br>I used the opportunity to comment the part of the code I added, and a copyright notice. <br>
</div>