Thanks.  In fact, there were still more errors wrt this part of the doc, which I've now fixed as well.