fix typo bug in header