fix typo in header comments