fixed minor issue about file names