I am very grateful to @indeed_distract for pointing out a dumb misreading I made in a recent review, and I have taken steps to correct it. I hope that my overall appreciation of the book under discussion survives this mistake. Never too late to catch such an error!