Further clarified (and strengthened!) guarantees around shutdown behavior.