Fix typo in header comment