Fix copyright header in last commit.