Completed editing of `soci`