Change copyright header (again).

Fixes #5424