various changes in 4 files to restyle slightly the header