It is best to use `files[...]` here so that we keep all file references in a single place, no?