front-end/doc.ml: fix typo in comment

Trivial typo fix. It’s on page 427 of the book.