use own header handling for column-header instead of headline, to avoid misnumbering in HTMLBuilder.