adapted header of figure2dot