Correct names for files