​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.