While doing this, I have also fixed a bug in the current implementation
of ThrowAll (formerly named `throwAll'`).