Fix typo in the header