Fix a typo in the header comment