mypy

92fa5482 - Fix a single-letter typo in a comment (#16699)