Same nit here as for Timer: use initial-letter capital `File` for consistency with the rest of the codebase.