add a copyright header.