fix typo in opening comment