just some header polishing