Correction: error handler is always reentrant