Fix stupid typo in header