Updated file header comment with the right name.