diff --git a/juno_scheduler/src/pm.rs b/juno_scheduler/src/pm.rs
index 62bdaf739b69b52a0b540c6a602e1e5beb632786..5c1dd4771d0207f5d98d3a5307fd1ca09ed56db1 100644
--- a/juno_scheduler/src/pm.rs
+++ b/juno_scheduler/src/pm.rs
@@ -1339,7 +1339,10 @@ fn interp_expr(
                     }
                 }
                 Value::Record { fields } => match fields.get(field) {
-                    None => Err(SchedulerError::UndefinedField(field.clone())),
+                    None => Err(SchedulerError::UndefinedField(format!(
+                        "{} not in {:?}",
+                        field, fields
+                    ))),
                     Some(v) => Ok((v.clone(), changed)),
                 },
             }