Correct the file name in comments