Fix the copyright declaration