Fix a recently-introduced delete-process race condition.