Fix copyright claim: