Small change in file formalization