Fixed the filenames in the header comments