Fix copyright header changed in last commit