diff --git a/test/regress/cli/regress0/bv2nat_lemma_ranges_1.smt2 b/test/regress/cli/regress0/bv2nat_lemma_ranges_1.smt2
index e422951b90f..f2b4349aa00 100644
--- a/test/regress/cli/regress0/bv2nat_lemma_ranges_1.smt2
+++ b/test/regress/cli/regress0/bv2nat_lemma_ranges_1.smt2
@@ -1,4 +1,4 @@
-; COMMAND: --model-based-arith-bv-conv
+; COMMAND-LINE: --model-based-arith-bv-conv
 ; EXPECT: unsat
 (set-logic ALL)
 (declare-fun x () (_ BitVec 4000))