diff --git a/fj-kernel/src/algorithms/triangulation/mod.rs b/fj-kernel/src/algorithms/triangulation/mod.rs
index 3666c0c19..a18312d0b 100644
--- a/fj-kernel/src/algorithms/triangulation/mod.rs
+++ b/fj-kernel/src/algorithms/triangulation/mod.rs
@@ -57,7 +57,7 @@ pub fn triangulate(
                 let mut triangles = delaunay(points);
                 triangles.retain(|triangle| {
                     face_as_polygon.contains_triangle(
-                        &triangle.map(|point| point.native()),
+                        triangle.map(|point| point.native()),
                         debug_info,
                     )
                 });
diff --git a/fj-kernel/src/algorithms/triangulation/polygon.rs b/fj-kernel/src/algorithms/triangulation/polygon.rs
index 9ee6baaf2..9a16def9c 100644
--- a/fj-kernel/src/algorithms/triangulation/polygon.rs
+++ b/fj-kernel/src/algorithms/triangulation/polygon.rs
@@ -61,7 +61,7 @@ impl Polygon {
 
     pub fn contains_triangle(
         &self,
-        &[a, b, c]: &[Point<2>; 3],
+        [a, b, c]: [Point<2>; 3],
         debug_info: &mut DebugInfo,
     ) -> bool {
         for edge in [a, b, c, a].windows(2) {