function terminateSpell() {
    // called when we have reached the end of the spell checking.
    var msg = "Spell check complete:\n\n";
    var numrepl = this._getTotalReplaced();
    if( numrepl == 0 ) {