diff --git a/roaring/tests/range_checks.rs b/roaring/tests/range_checks.rs
index 7903eed2..2417d3b6 100644
--- a/roaring/tests/range_checks.rs
+++ b/roaring/tests/range_checks.rs
@@ -52,7 +52,8 @@ proptest! {
     fn proptest_range_boundaries(
         // Ensure we can always subtract one from start
         start in 1..=262_143_u32,
-        len in 0..=262_143_u32,
+        // An empty range is always contained, so len must be non-zero for the negative cases to hold
+        len in 1..=262_143_u32,
     ) {
         let mut bitmap = RoaringBitmap::new();
         let end = start + len;
diff --git a/roaring/tests/treemap_range_checks.rs b/roaring/tests/treemap_range_checks.rs
index 62dbd8c2..7a84c4de 100644
--- a/roaring/tests/treemap_range_checks.rs
+++ b/roaring/tests/treemap_range_checks.rs
@@ -147,8 +147,10 @@ proptest! {
 
     #[test]
     fn proptest_range_boundaries(
+        // Ensure we can always subtract one from start
         start in 1..=262_143_u64,
-        len in 0..=262_143_u64,
+        // An empty range is always contained, so len must be non-zero for the negative cases to hold
+        len in 1..=262_143_u64,
     ) {
         let mut rb = RoaringTreemap::new();
         let end = start + len;