Yes, you are right. This BUG existing.
And if i am allowed to say, the whole HTML-EDITOR-WINDOW is really not the best solution and very hard to use.
Perhaps in future, we can get a better Editor for HTML-CODING.
I think i can expect more as a PREMIUM-PAYING-MEMBER.