Minor variable renaming, document subtle one_for_all child deletion clauses