Fix bug in a file name