Поэтому управление подобными вещами не доверяется компьютерам полностью, в теории люди и компьютеры должны компенсировать ошибки друг друга (как видно из этого случая, на практике же они суммируются).
Ах да, откопал это в книге (?) Famous Bug за авторством Дэйва Карри и Джона Шора (Dave Curry, John Shore)