include copyright information in the header. No functional changes.