diff --git a/ProofWidgets/Demos/InteractiveSvg.lean b/ProofWidgets/Demos/InteractiveSvg.lean
index 1881bdb..af4cd86 100644
--- a/ProofWidgets/Demos/InteractiveSvg.lean
+++ b/ProofWidgets/Demos/InteractiveSvg.lean
@@ -33,7 +33,7 @@ def isvg : InteractiveSvg State where
             ]
           | _, _ => #[]
         let circles := (state.mapIdx fun idx (p : Float × Float) =>
-              Svg.circle p (.abs 0.2) |>.setFill (0.7,0.7,0.7) |>.setId s!"circle{idx}" |>.setData idx.1
+              Svg.circle p (.abs 0.2) |>.setFill (0.7,0.7,0.7) |>.setId s!"circle{idx}" |>.setData idx
             )
         mousePointer.append circles
     }