Fixed a typo in the header