Fix accidental usage of a header at a too high level