So the people took him outside the camp and killed him with stones. They did this just as the Lord commanded Moses.