fixed a minor typo in a comment