Correct a typo
Fix file header