Add some missing copyright headers