<div dir="ltr">Today I has found this problem. Although it isn't too serious, I strongly think that it is a bug and it should be patched.<br></div>