rename Cover in LoopSpaceCircle to prevent name collision