Corrected an error in the file comment.