Added the copyright at the beginning of the file.