That's the same code I got at the time.

Oh well, nobody died, it can be fixed relatively easy (even though not cheaply).