Added missing copyright header.