Supporting clean exit