diff --git a/komodo.nu b/komodo.nu
index 38b51c1af6dca9e3fec00544d328621aacd806aa..c23b7929f72a52313682a9d33eadb2b94d78467a 100644
--- a/komodo.nu
+++ b/komodo.nu
@@ -150,7 +150,7 @@ export def "komodo prove" [
     }
 
     let type = $fec_params | describe --detailed | update columns { sort }
-    let expected = { type: record, lazy: false, columns: { k: int, n: int } }
+    let expected = { type: record, columns: { k: int, n: int } }
     if $type != $expected {
         error make {
             msg: $"(ansi red_bold)invalid `--fec-params`(ansi reset)",