Clarify termination semantics