Regenerate headers after fix from #422.
3 files changed