add a missing copyright