Fix a typo in a warning and add corresponding comment