Fix a typo in a comment

Just a typo spotted while reading the code.