diff --git a/matrix_sdk_crypto/src/verification/sas/helpers.rs b/matrix_sdk_crypto/src/verification/sas/helpers.rs
index 37974d14..2c35dd9c 100644
--- a/matrix_sdk_crypto/src/verification/sas/helpers.rs
+++ b/matrix_sdk_crypto/src/verification/sas/helpers.rs
@@ -597,9 +597,9 @@ mod test {
         fn proptest_decimals(bytes in prop::array::uniform5(0u8..)) {
             let (first, second, third) = bytes_to_decimal(bytes.to_vec());
 
-            prop_assert!(first <= 9191 && first >= 1000);
-            prop_assert!(second <= 9191 && second >= 1000);
-            prop_assert!(third <= 9191 && third >= 1000);
+            prop_assert!((1000..=9191).contains(&first));
+            prop_assert!((1000..=9191).contains(&second));
+            prop_assert!((1000..=9191).contains(&third));
         }
     }
 }
diff --git a/matrix_sdk_crypto/src/verification/sas/mod.rs b/matrix_sdk_crypto/src/verification/sas/mod.rs
index d6f1322f..ab99ca9a 100644
--- a/matrix_sdk_crypto/src/verification/sas/mod.rs
+++ b/matrix_sdk_crypto/src/verification/sas/mod.rs
@@ -695,11 +695,7 @@ impl InnerSas {
     }
 
     fn can_be_presented(&self) -> bool {
-        match self {
-            InnerSas::KeyRecieved(_) => true,
-            InnerSas::MacReceived(_) => true,
-            _ => false,
-        }
+        matches!(self, InnerSas::KeyRecieved(_) | InnerSas::MacReceived(_))
     }
 
     fn is_done(&self) -> bool {