This file should not be read by results.py, so its contents don't matter.