Woodruff should obviously have been 'Woodward.' I thought he correction
had already been made in the html version; but obviously, the error
slipped through. In my current state of knowledge, it's safer for me to
post this correction than delete the earlier entry and revise it.