Fix typo in file header.