Fixing the naming of a file