Add some missing copyright headers.