Not a huge deal since these files are trivial, but important if
they ever grow.