diff --git a/.github/workflows/lints.yml b/.github/workflows/lints.yml
index 0a98535807..ddb5246e4e 100644
--- a/.github/workflows/lints.yml
+++ b/.github/workflows/lints.yml
@@ -41,7 +41,7 @@ jobs:
       - name: Run fmt, clippy for guest
         run: |
           # Find all directories named "programs" and include additional static paths
-          for crate_path in $(find . -type d -name "programs" -exec find {} -mindepth 0 -maxdepth 0 -type d \;) benchmarks/programs/* examples/*; do
+          for crate_path in $(find . -type d -name "programs" -exec find {} -mindepth 0 -maxdepth 0 -type d \;) examples/*; do
             # Check if Cargo.toml exists in the directory
             if [ -f "$crate_path/Cargo.toml" ]; then
               echo "Running cargo fmt, clippy for $crate_path"
@@ -59,4 +59,4 @@ jobs:
             else
               echo "Skipping $crate_path as it does not contain a Cargo.toml"
             fi
-          done
\ No newline at end of file
+          done
diff --git a/examples/algebra/src/main.rs b/examples/algebra/src/main.rs
index 7a29fef7d6..3347093381 100644
--- a/examples/algebra/src/main.rs
+++ b/examples/algebra/src/main.rs
@@ -1,7 +1,7 @@
 #![cfg_attr(not(feature = "std"), no_main)]
 #![cfg_attr(not(feature = "std"), no_std)]
 
-use openvm_algebra_guest::{moduli_setup::*, DivUnsafe, IntMod};
+use openvm_algebra_guest::{moduli_setup::*, IntMod};
 
 openvm::entry!(main);
 
@@ -41,5 +41,6 @@ pub fn main() {
     let b = Complex2::new(Mod2::ZERO, Mod2::from_u32(1000000006)); // b = -i in the corresponding field
     assert_eq!(a.clone() * &a * &a * &a * &a, a); // a^5 = a
     assert_eq!(b.clone() * &b * &b * &b * &b, b); // b^5 = b
-                                                  // Note that these assertions would fail, have we provided the `mod_idx` parameters wrongly.
+
+    // Note that the above assertions would fail, had we provided the `mod_idx` parameters wrongly.
 }