Fix a typo in file headers