Merge: #18437: fix comment typo.