Fix the copyright declaration a little