David:
Section 7.4.5 currently specifies the constraint:
TimeToLive > Timestamp + (Retries * RetryInterval)
Since the Retries count does not include the initial attempt, I think the
constraint should be changed to
TimeToLive > Timestamp + ((Retries + 1) * RetryInterval)
Regards,
-Arvola