fixed a typo in a comment