Fix a minor typo in the header.