Fix a minor typo in a comment

In this case the title says it all.