Simplify the wording of static_pointer_cast<> and friends.

Is this actually a correct paraphrase, or am I missing some subtlety of the current wording?
I'm assuming that if X is empty, and Y shares ownership with X, then Y is empty.