diff --git a/src/commands.rs b/src/commands.rs
index 298ffade4..fbfbc5e08 100644
--- a/src/commands.rs
+++ b/src/commands.rs
@@ -471,7 +471,7 @@ pub enum Commands {
             long,
             require_equals = true,
             num_args = 0..=1,
-            default_value_t = TranscriptType::EVM,
+            default_value_t = TranscriptType::default(),
             value_enum
         )]
         transcript: TranscriptType,
@@ -526,13 +526,13 @@ pub enum Commands {
         #[arg(short = 'W', long, default_value = DEFAULT_WITNESS)]
         witness: PathBuf,
         /// The path to the compiled model file (generated using the compile-circuit command)
-        #[arg(short = 'M', long, default_value = DEFAULT_COMPILED_CIRCUIT)]
+        #[arg(short = 'M', long)]
         compiled_circuit: PathBuf,
         #[arg(
             long,
             require_equals = true,
             num_args = 0..=1,
-            default_value_t = TranscriptType::EVM,
+            default_value_t = TranscriptType::default(),
             value_enum
         )]
         transcript: TranscriptType,
diff --git a/src/pfsys/mod.rs b/src/pfsys/mod.rs
index 2005012bd..80d11e142 100644
--- a/src/pfsys/mod.rs
+++ b/src/pfsys/mod.rs
@@ -197,7 +197,11 @@ impl std::fmt::Display for TranscriptType {
     }
 }
 
-impl ToFlags for TranscriptType {}
+impl ToFlags for TranscriptType {
+    fn to_flags(&self) -> Vec<String> {
+        vec![format!("{}", self)]
+    }
+}
 
 #[cfg(feature = "python-bindings")]
 impl ToPyObject for TranscriptType {