Fix a typo in header