Correct some of ReThrow's semantics