diff --git a/src/fiat-cli b/src/fiat-cli
index f38ea57a041..59753d0ed76 100755
--- a/src/fiat-cli
+++ b/src/fiat-cli
@@ -51,6 +51,6 @@ echo kv; fiat/kv $1 $2 $3 $4
 echo ceal; fiat/ceal $1 $2 $3 $4
 echo mesh; fiat/mesh $1 $2 $3 $4
 echo mnz; fiat/mnz $1 $2 $3 $4
-echo mnz; fiat/axo $1 $2 $3 $4
-echo mnz; fiat/etomic $1 $2 $3 $4
-echo mnz; fiat/btch $1 $2 $3 $4
+echo axo; fiat/axo $1 $2 $3 $4
+echo etomic; fiat/etomic $1 $2 $3 $4
+echo btch; fiat/btch $1 $2 $3 $4