fix small typo in headers