diff --git a/docs/source/reference.rst b/docs/source/reference.rst
index d3dae3f..083c7f0 100644
--- a/docs/source/reference.rst
+++ b/docs/source/reference.rst
@@ -192,7 +192,7 @@ options are:
 |                   | ``prove``, | the trace. Depending on the engine and options used     |
 |                   | ``cover``  | this may be implicitly on or not supported (as          |
 |                   |            | indicated in SBY's log output).                         |
-|                   |            | Values: ``on``, ``off``. Default: ``off``               |
+|                   |            | Values: ``on``, ``off``. Default: ``on``                |
 +-------------------+------------+---------------------------------------------------------+
 
 Engines section
diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index ae28b6a..76812ae 100644
--- a/sbysrc/sby_core.py
+++ b/sbysrc/sby_core.py
@@ -1238,7 +1238,7 @@ class SbyTask(SbyConfig):
 
         if self.opt_mode != "live":
             self.handle_int_option("append", 0)
-            self.handle_bool_option("append_assume", False)
+            self.handle_bool_option("append_assume", True)
 
         self.handle_str_option("make_model", None)