decoration of exception handlers