Danke, Ingo, für diese eingehende Analyse!
Ich verstehe jetzt wirklich, was da abläuft.
Ich muss dazu sagen, dass ich mich so gut wie nie mit JS beschäftigt habe. Das letzte Mal war 2005, und der Code, den ich hier zitiert habe, stammt aus dem ersten und einzigen JS, das ich je geschrieben habe. Mir ist es bloß grad wieder in die Hände gefallen, wobei mir erstmals dieser Tippfehler auffiel. Und da hat es mich schon irritiert, dass das Skript mit dem Fehler das Richtige anzeigt, und nach der Korrektur das Falsche. (Damals hat noch kaum jemand auf Validisierung geachtet...)
Gruß und Dank an alle für die Aufklärung
ottogal