Fix typo in header