add some missing copyright headers