Remove now-unneeded CIRCLE code.