Thanks for the correction. Like I said, it’s been 40 years since I read the books and, at 70, my memory isn’t what it used to be.
I grok that.