correcting docs on Files.file