Ach Herrje!
Liebe Rechtschreibkorrektur,
seit der Einführung der Rechtschreibreform, die aus dem guten alten daß ein dass gemacht hat, ist doch ein Tippfehler, der damit kein Rechtschreibfehler sein muß, leicht geschehen.
Aber herzlichen Dank für das beherzte Eingreifen, während wir sonst alle möglichen Denglizismen über uns ergehen lassen müssen.
Dieser Ottos Fehler war wirklich gut beobachtet.