<div dir="ltr"><div><div>Hi,<br></div>  this patch fixes another batch of coverity warnings.<br></div>Mostly harmless, but they are good practice.<br clear="all"><div><div><div><br>-- <br><div class="gmail_signature">    Francesco</div>
</div></div></div></div>