diff --git a/plonky2/examples/fibonacci.rs b/plonky2/examples/fibonacci.rs
index 6766c2b2..a90d49e2 100644
--- a/plonky2/examples/fibonacci.rs
+++ b/plonky2/examples/fibonacci.rs
@@ -4,7 +4,6 @@ use std::fs;
 
 use anyhow::Result;
 use plonky2::field::types::Field;
-use plonky2::fri::verifier;
 use plonky2::iop::witness::{PartialWitness, WitnessWrite};
 use plonky2::plonk::circuit_builder::CircuitBuilder;
 use plonky2::plonk::circuit_data::CircuitConfig;
@@ -45,10 +44,15 @@ fn main() -> Result<()> {
     let data = builder.build_deterministic::<C>();
 
     let common_circuit_data_serialized = serde_json::to_string(&data.common).unwrap();
-    fs::write("common_circuit_data.json", common_circuit_data_serialized).expect("Unable to write file");
+    fs::write("common_circuit_data.json", common_circuit_data_serialized)
+        .expect("Unable to write file");
 
     let verifier_only_circuit_data_serialized = serde_json::to_string(&data.verifier_only).unwrap();
-    fs::write("verifier_only_circuit_data.json", verifier_only_circuit_data_serialized).expect("Unable to write file");
+    fs::write(
+        "verifier_only_circuit_data.json",
+        verifier_only_circuit_data_serialized,
+    )
+    .expect("Unable to write file");
 
     let proof = data.prove(pw)?;
 
diff --git a/plonky2/src/hash/poseidon_goldilocks.rs b/plonky2/src/hash/poseidon_goldilocks.rs
index 0d03b3e9..466ac675 100644
--- a/plonky2/src/hash/poseidon_goldilocks.rs
+++ b/plonky2/src/hash/poseidon_goldilocks.rs
@@ -4,9 +4,6 @@
 //! `poseidon_constants.sage` script in the `mir-protocol/hash-constants`
 //! repository.
 
-use plonky2_field::types::Field;
-use unroll::unroll_for_loops;
-
 use crate::field::goldilocks_field::GoldilocksField;
 use crate::hash::poseidon::{Poseidon, N_PARTIAL_ROUNDS};
 
diff --git a/plonky2/src/plonk/circuit_builder.rs b/plonky2/src/plonk/circuit_builder.rs
index a0f43602..f2c15480 100644
--- a/plonky2/src/plonk/circuit_builder.rs
+++ b/plonky2/src/plonk/circuit_builder.rs
@@ -740,7 +740,10 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
     /// Standard build.
 
     /// Builds a "full circuit", with both prover and verifier data.
-    fn build_inner<C: GenericConfig<D, F = F>>(mut self, deterministic: bool) -> CircuitData<F, C, D>
+    fn build_inner<C: GenericConfig<D, F = F>>(
+        mut self,
+        deterministic: bool,
+    ) -> CircuitData<F, C, D>
     where
         [(); C::HCO::WIDTH]:,
         [(); C::HCI::WIDTH]:,