Minor changes in the header