Make circles compile with downcast