Fix a typo in the header