Fix a typo in the headers