@jeremycherfas I guessed it might be that. Still ought to read the book, though.