diff --git a/jolt-core/src/jolt/instruction/div.rs b/jolt-core/src/jolt/instruction/div.rs
index e40555f9b..6acac272f 100644
--- a/jolt-core/src/jolt/instruction/div.rs
+++ b/jolt-core/src/jolt/instruction/div.rs
@@ -3,7 +3,9 @@ use tracer::{ELFInstruction, RVTraceRow, RegisterState, RV32IM};
 
 use super::VirtualInstructionSequence;
 use crate::jolt::instruction::{
-    add::ADDInstruction, beq::BEQInstruction, mul::MULInstruction, virtual_advice::ADVICEInstruction, virtual_assert_eq_signs::ASSERTEQSIGNSInstruction, virtual_assert_lt_abs::ASSERTLTABSInstruction, JoltInstruction
+    add::ADDInstruction, beq::BEQInstruction, mul::MULInstruction,
+    virtual_advice::ADVICEInstruction, virtual_assert_eq_signs::ASSERTEQSIGNSInstruction,
+    virtual_assert_lt_abs::ASSERTLTABSInstruction, JoltInstruction,
 };
 /// Perform signed*unsigned multiplication and return the upper WORD_SIZE bits
 pub struct DIVInstruction<const WORD_SIZE: usize>;
diff --git a/jolt-core/src/jolt/instruction/rem.rs b/jolt-core/src/jolt/instruction/rem.rs
index 10d9049e3..35b954af9 100644
--- a/jolt-core/src/jolt/instruction/rem.rs
+++ b/jolt-core/src/jolt/instruction/rem.rs
@@ -3,7 +3,9 @@ use tracer::{ELFInstruction, RVTraceRow, RegisterState, RV32IM};
 
 use super::VirtualInstructionSequence;
 use crate::jolt::instruction::{
-    add::ADDInstruction, beq::BEQInstruction, mul::MULInstruction, virtual_advice::ADVICEInstruction, virtual_assert_eq_signs::ASSERTEQSIGNSInstruction, virtual_assert_lt_abs::ASSERTLTABSInstruction, JoltInstruction
+    add::ADDInstruction, beq::BEQInstruction, mul::MULInstruction,
+    virtual_advice::ADVICEInstruction, virtual_assert_eq_signs::ASSERTEQSIGNSInstruction,
+    virtual_assert_lt_abs::ASSERTLTABSInstruction, JoltInstruction,
 };
 
 /// Perform signed*unsigned multiplication and return the upper WORD_SIZE bits