fix typo in a comment