Updated description of tagged-exception-core