doc header duplication and possible solution
doc main2