Fix circle_spec