Fix copyright header.