Minor changes in headers