the single file rerun had gone out of sync with the UI, patching up