#18981: fix a typo in a comment (noticed by Anoop Thomas Mathew).
1 file changed