<div dir="ltr"><div class="gmail_extra">Merged, thanks for finding this.
</div><div class="gmail_extra"><br></div><div class="gmail_extra">I'll put out a new version soon, as this is a rather important fix.</div></div>