fix typo in header file