(added missing copyright headers)