Added some missing copyright headers