Comment by jason_oster

Therefore explaining why the bug hadn't been hit in practice for 11 years.