minor changes in header