Address ID in MP_ADDR text improvement

[markusa]

    A host can send an MP_ADDADDR message with an already assigned
    Address ID, but the Address MUST be the same as previously assigned
    to this Address ID, and the Port MUST be different from one already
    in use for this Address ID.

Is this a MAY?, for example:

    A host MAY send an MP_ADDADDR message with an already assigned

    Address ID, but the Address MUST be the same as previously assigned
    to this Address ID, and the Port MUST be different from one already
    in use for this Address ID.

Also say what happens if this is not correct at the receiver, is the connection RESET?

[markusa]

Text suggestion adopted. The consequence of an incorrect message is described in the same paragraph following the above mentioned sentence.

If these conditions are not met, the receiver
SHOULD silently ignore the MP_ADDADDR.