Fix typo in header.