add comment explaining why we don't do anything about bad pids in handle_children