fixing typo in header file