Habe ich nicht gecheckt, weil ich nicht chronologisch gelesen habe. Aber du hast recht: Ein Tippfehler ist das wohl nicht.
Gruß von Kai