fix header semantics