Bugfix: exception decoration in ExceptionHandler