And the nanex guess at why it happened: http://www.nanex.net/aqck2/3525.html
Ouch!
But creating a bug that loses your company half a billion dollars in thirty minutes and bankrupts them, must be stomach-churning.
This is a risk management failure much more than a programming error.