Fix typo in generated header