Fixed a typo in the file header