Fix a minor typo in a comment