What is the purpose of this line, given that it's within an ``if exc_value is None`` block?