To make it possible to distinguish between missing headers and empty headers.

I don't know how useful that is in practice, but I put it in case people want it.