I forgot to push the checkfile update. At least for this case, picking the first in the set gives the shortest error messages, but I don't know why that is or if it holds in general.