fix a small gramatical error in a comment