diff --git a/zokrates_cli/src/ops/inspect.rs b/zokrates_cli/src/ops/inspect.rs
index c093379e..2a96e6a0 100644
--- a/zokrates_cli/src/ops/inspect.rs
+++ b/zokrates_cli/src/ops/inspect.rs
@@ -63,8 +63,8 @@ fn cli_inspect<T: Field, I: Iterator<Item = ir::Statement<T>>>(
         let output_file = File::create(&output_path).unwrap();
         let mut w = BufWriter::new(output_file);
 
-        writeln!(w, "{}", curve)
-            .and(writeln!(w, "{}", constraint_count))
+        writeln!(w, "# {}", curve)
+            .and(writeln!(w, "# {}", constraint_count))
             .and(write!(w, "{}", ir_prog))
             .map_err(|why| format!("Could not write to `{}`: {}", output_path.display(), why))?;
 
diff --git a/zokrates_core/src/proof_system/mod.rs b/zokrates_core/src/proof_system/mod.rs
index 4f7baa6e..7d52a9bf 100644
--- a/zokrates_core/src/proof_system/mod.rs
+++ b/zokrates_core/src/proof_system/mod.rs
@@ -16,7 +16,9 @@ use rand_0_4::Rng;
 use serde::de::DeserializeOwned;
 use serde::{Deserialize, Serialize};
 use std::io::{Read, Write};
-use zokrates_field::{BellmanFieldExtensions, Field};
+#[cfg(feature = "bellman")]
+use zokrates_field::BellmanFieldExtensions;
+use zokrates_field::Field;
 
 #[derive(Serialize)]
 pub struct SetupKeypair<V> {