Correct the name of the file

re #6529