diff --git a/starky/src/fibonacci_stark.rs b/starky/src/fibonacci_stark.rs
index ffaa14a7..06e366dc 100644
--- a/starky/src/fibonacci_stark.rs
+++ b/starky/src/fibonacci_stark.rs
@@ -120,6 +120,6 @@ mod tests {
             &mut TimingTree::default(),
         )?;
 
-        verify(stark, proof, &config, num_rows)
+        verify(stark, proof, &config, 5)
     }
 }
diff --git a/starky/src/get_challenges.rs b/starky/src/get_challenges.rs
index d6a9b562..1498f764 100644
--- a/starky/src/get_challenges.rs
+++ b/starky/src/get_challenges.rs
@@ -24,6 +24,7 @@ fn get_challenges<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, cons
     let num_challenges = config.num_challenges;
     let num_fri_queries = config.fri_config.num_query_rounds;
     let lde_size = 1 << (degree_bits + config.fri_config.rate_bits);
+    dbg!(lde_size);
 
     let mut challenger = Challenger::<F, C::Hasher>::new();
 
diff --git a/starky/src/verifier.rs b/starky/src/verifier.rs
index 63e063af..ea9945ff 100644
--- a/starky/src/verifier.rs
+++ b/starky/src/verifier.rs
@@ -31,6 +31,7 @@ where
     [(); S::PUBLIC_INPUTS]:,
 {
     let challenges = proof_with_pis.get_challenges(config, degree_bits)?;
+    dbg!(&challenges.fri_challenges.fri_query_indices);
     verify_with_challenges(stark, proof_with_pis, challenges, config)
 }