Fix a typo in a header ID.