From the points of view of proof-theory, programming pragmatics and operational semantics, the syntactic construct used for exception handling in many programming languages, and in much theoretical work on exceptions, has subtly undesirable features. We propose and discuss a more well-behaved construct.