when they had done circumcising all the people: Heb. when the people had made an end to be circumcised