fix typo in header