Fix CORAL exception handling