Typo fixing in the autogenerated header -- RRRGH