Fixing a filename issue