Minor changes in header.