Add a comment missing from 5aff0e7

For some reason, I had this comment in my local tree but not in the
branch I sent with the PR.