fixes typo in header comment