Fix incorrect copyright header.