Fix circle.h.