Fix a typo in the Header