@616ec859 Thank you! That kind of problem came up too! I forget what the point was, but in the first draft, early in the book I had written something one way, and near the end of the book, I had talked about the style choice and made the opposite recommendation.

The copy editor caught it.