Small changes in header.