Fixed the file name in the header comment.