Fixed the filenames in the copyright header