<div dir="ltr"><div>Thanks for the error report, it was fixed yesterday.</div><div><br></div><div>/Best</div><div>Josef<br></div></div>