fix a file name bug