fix copyright, once and for all