Added the copyright header, like in the other files