Corrected some formalities in the header