Michael Gerz wrote:
only the third word is identified as faulty but the spell checker states that it has checked four words. So it definitely skips some words in the document.
The first misspelled word is skipped because of the wrong fix for bug 2423. It identifies both words when the patch is reverted.
So everything should be correct now. Joost
