DOM2 Range: should Set* throw WRONG_DOCUMENT_ERR?

The DOM2 Range spec doesn't say what should happen if selectNode,
selectNodeContents, setStart, setStartAfter, setStartBefore, setEnd,
setEndAfter, or setEndBefore are given a node whose ownerDocument is
different from the range's.  I would assume (based on the last
paragraph of section 2.3) that they should throw a WRONG_DOCUMENT_ERR.
Is this correct?

-David

L. David Baron        <URL: http://www.people.fas.harvard.edu/~dbaron/ >
Mozilla Contributor                      <URL: http://www.mozilla.org/ >
Invited Expert, W3C CSS WG          <URL: http://www.w3.org/Style/CSS/ >