Thanks for catching this, Jim.I've attached a patch to add an erratum to the document. John, please review that. Note that I removed the next sentence as well, since it depends on the one you suggested removing.I'll leave it to you to update the implementation.