diff --git a/milli/src/search/criteria/proximity.rs b/milli/src/search/criteria/proximity.rs
index 6b09ee2fe..d51047821 100644
--- a/milli/src/search/criteria/proximity.rs
+++ b/milli/src/search/criteria/proximity.rs
@@ -497,7 +497,7 @@ fn resolve_plane_sweep_candidates(
                         }
                     }
                     match subgroup.len() {
-                        0 => {},
+                        0 => {}
                         1 => groups_positions.push(subgroup.pop().unwrap()),
                         _ => groups_positions.push(plane_sweep(subgroup, true)?),
                     }