annotate const parameters of copy_header()