diff --git a/src/run/net.rs b/src/run/net.rs
index 7c8d78e6..a81dc3d6 100644
--- a/src/run/net.rs
+++ b/src/run/net.rs
@@ -41,8 +41,8 @@ impl<'h, M: Mode> Net<'h, M> {
 impl<'a, M: Mode> Net<'a, M> {
   /// Reduces at most `limit` redexes.
   ///
-  /// If normalized, returns Some(num redexes).
-  /// If stopped because the limit was reached, returns None.
+  /// If normalized, returns `Some(num_redexes)`.
+  /// If stopped because the limit was reached, returns `None`.
   #[inline(always)]
   pub fn reduce(&mut self, limit: usize) -> Option<usize> {
     assert!(!M::LAZY);
diff --git a/src/transform/pre_reduce.rs b/src/transform/pre_reduce.rs
index fbfb3f2a..4e41df00 100644
--- a/src/transform/pre_reduce.rs
+++ b/src/transform/pre_reduce.rs
@@ -67,14 +67,11 @@ impl Book {
 
     let mut not_normal = vec![];
     for (nam, state) in seen {
-      match state {
-        SeenState::Reduced { net, normal } => {
-          if !normal {
-            not_normal.push(nam.clone());
-          }
-          self.nets.insert(nam, net);
+      if let SeenState::Reduced { net, normal } = state {
+        if !normal {
+          not_normal.push(nam.clone());
         }
-        _ => {}
+        self.nets.insert(nam, net);
       }
     }