Actually repair broken headers.
2 files changed