Fehler passieren jedem, aber in der heutigen Zeit, mit Duden-Korrektur sollte sowas einem Redakteur nicht passieren. Ich meine nur: das Handwerk eines Redakteurs ist das Schreiben! Das ist ja kein Hobby-Blogger, der normalerweise beruflich Dachdecker ist.
