circumcenter corrected construction