[the_king]

Did you wait for the text to turn blue and then black? And were the twos still wrong then? The real-time text is non-final tokens and has many more errors than what is ultimately committed to the document (but committing is slower than we'd like at the moment).

[gleb]

Yes I did. I even later tried to tell it to fix this, and was not successful.