Actually add the copyright notice to the code