<div dir="ltr">It seems that the bug has already been fixed. I think it can be closed now.<div><br></div><div>Thank you anyway.</div></div>