Braucht man nicht drüber zu diskutieren: Blöder Fehler. Solche einfachen Dinger dürfen eigentlich nicht passieren.