Add assert for dump_header()