Comment on MIPv6 I-D

In section 10.3.1:

"To begin processing the Binding Update, the home agent MUST perform the 
following sequence of tests:

...

   o  A Home Address destination option MUST be present in the message.

..."

11.7.1 says essentially the same thing on page 131:

"   o  The packet MUST contain a Home Address destination option, giving
       the mobile node's home address for the binding."


This seems to moot some of the text in 11.7.1, page 132:

"The mobile node MUST use its home address - either in the Home Address 
destination option or in   the Source Address field of the IPv6 header - in 
Binding Updates sent to the home agent."

This sentence implies that the node has the option of EITHER/OR whereas the 
preceding text would say the node MUST include the Home Address destination 
option, and (presumably) MAY also use the home address as the Source 
Address.  I'd suggest that this sentence be deleted, or amended to reflect 
the fact that the home address as Source Address is allowed but the 
destination option is mandatory.