Fix a typo in the header
Add copyright line