Changes in the file headers to make it compliant with package.el