Make the copyright legitimate

and, I hope, correct.