3 files changed, 14 insertions, 5 deletions
diff --git a/test-suite/output/BadOptionValueType.out b/test-suite/output/BadOptionValueType.out
index 34d8518a75..7388982e7f 100644
--- a/test-suite/output/BadOptionValueType.out
+++ b/test-suite/output/BadOptionValueType.out
@@ -1,8 +1,14 @@
 The command has indeed failed with message:
 Bad type of value for this option: expected int, got string.
 The command has indeed failed with message:
-Bad type of value for this option: expected bool, got string.
+This is an option. A value must be provided.
 The command has indeed failed with message:
-Bad type of value for this option: expected bool, got int.
+Bad type of value for this option: expected string, got int.
 The command has indeed failed with message:
-Bad type of value for this option: expected bool, got int.
+This is an option. A value must be provided.
+The command has indeed failed with message:
+This is a flag. It does not take a value.
+The command has indeed failed with message:
+This is a flag. It does not take a value.
+The command has indeed failed with message:
+This option does not support the "Unset" command.
diff --git a/test-suite/output/BadOptionValueType.v b/test-suite/output/BadOptionValueType.v
index b61c3757ba..12ca7bae21 100644
--- a/test-suite/output/BadOptionValueType.v
+++ b/test-suite/output/BadOptionValueType.v
@@ -1,4 +1,7 @@
 Fail Set Default Timeout "2".
+Fail Set Default Timeout.
+Fail Set Bullet Behavior 2.
+Fail Set Bullet Behavior.
 Fail Set Debug Eauto "yes".
 Fail Set Debug Eauto 1.
-Fail Set Implicit Arguments 1.
+Fail Unset Warnings.
diff --git a/test-suite/success/Scheme.v b/test-suite/success/Scheme.v
index 4b928007cf..273cb48295 100644
--- a/test-suite/success/Scheme.v
+++ b/test-suite/success/Scheme.v
@@ -18,7 +18,7 @@ Check myeq_rew.
 Check myeq_rew_dep.
 Check myeq_rew_fwd_dep.
 Check myeq_rew_r.
-Check internal_myeq_sym_involutive.
+Check myeq_sym_involutive.
 Check myeq_rew_r_dep.
 Check myeq_rew_fwd_r_dep.