Apparently this work was either never done, or was lost.  Minor in any case.