Use entire copyright header.
Doc fix.