re: #494 HappyWarrior

Whatever one calls the parents, the kids’ decisions were obviously made for them, so the label wouldn’t apply in any case.