diff --git a/zebra-state/src/tests.rs b/zebra-state/src/tests.rs
index f90c98a6b..86ea33237 100644
--- a/zebra-state/src/tests.rs
+++ b/zebra-state/src/tests.rs
@@ -84,13 +84,11 @@ use proptest::prelude::*;
 fn round_trip_work_expanded() {
     zebra_test::init();
 
-    proptest!(|(work in any::<Work>())| {
-        let work: U256 = work.as_u128().into();
+    proptest!(|(work_before in any::<Work>())| {
+        let work: U256 = work_before.as_u128().into();
         let expanded = work_to_expanded(work);
         let work_after = Work::try_from(expanded).unwrap();
-        let work_after = work_after.as_u128();
-        let work_after = U256::from(work_after);
-        prop_assert_eq!(work, work_after);
+        prop_assert_eq!(work_before, work_after);
     });
 }