diff --git a/docs/clinguin/backends/ClingoDLBackend.rst b/docs/clinguin/backends/ClingoDLBackend.rst
index 8f38db10..0ffebdbe 100644
--- a/docs/clinguin/backends/ClingoDLBackend.rst
+++ b/docs/clinguin/backends/ClingoDLBackend.rst
@@ -45,6 +45,8 @@ Also includes all public operations from the :ref:`ClingoMultishotBackend`.
 Domain state constructors
 +++++++++++++++++++++++++
 
-The domain state also inclues domain constructors from the :ref:`ClingoMultishotBackend`
+.. important::
+
+    The domain state also inclues domain constructors from the :ref:`ClingoMultishotBackend`
 
 .. autoproperty:: ClingoDLBackend._ds_assign
diff --git a/docs/clinguin/backends/ClingoMultishotBackend.rst b/docs/clinguin/backends/ClingoMultishotBackend.rst
index d3d95515..050e7ebf 100644
--- a/docs/clinguin/backends/ClingoMultishotBackend.rst
+++ b/docs/clinguin/backends/ClingoMultishotBackend.rst
@@ -29,6 +29,8 @@ Also includes all public operations from the :ref:`ClingoBackend`.
 Domain state constructors
 +++++++++++++++++++++++++
 
-The domain state also inclues domain constructors from the :ref:`ClingoBackend`
+.. important::
+
+    The domain state also inclues domain constructors from the :ref:`ClingoBackend`
 
 .. autoproperty:: ClingoMultishotBackend._ds_assume
\ No newline at end of file
diff --git a/docs/clinguin/backends/ClingraphBackend.rst b/docs/clinguin/backends/ClingraphBackend.rst
index 4b200834..ef066d86 100644
--- a/docs/clinguin/backends/ClingraphBackend.rst
+++ b/docs/clinguin/backends/ClingraphBackend.rst
@@ -90,7 +90,7 @@ Public operations
 +++++++++++++++++
 
 Can be used as `OPERATION` in the actions of the :ref:`ui-state`
-Also includes all public operations from the :ref:`ClingoBackend`.
+Also includes all public operations from the :ref:`ClingoMultishotBackend`.
 
 .. autoclass:: ClingraphBackend
     :members:
@@ -101,6 +101,8 @@ Also includes all public operations from the :ref:`ClingoBackend`.
 Domain state constructors
 +++++++++++++++++++++++++
 
-The domain state also inclues domain constructors from the :ref:`ClingoBackend`
+.. important::
+
+    The domain state also inclues domain constructors from the :ref:`ClingoMultishotBackend`
 
 
diff --git a/docs/clinguin/backends/ExplanationBackend.rst b/docs/clinguin/backends/ExplanationBackend.rst
index c06c0687..4a50b8a0 100644
--- a/docs/clinguin/backends/ExplanationBackend.rst
+++ b/docs/clinguin/backends/ExplanationBackend.rst
@@ -68,7 +68,9 @@ Also includes all public operations from the :ref:`ClingoMultishotBackend`.
 Domain state constructors
 +++++++++++++++++++++++++
 
-The domain state also inclues domain constructors from the :ref:`ClingoMultishotBackend`
+.. important::
+
+    The domain state also inclues domain constructors from the :ref:`ClingoMultishotBackend`
 
 .. autoproperty:: ExplanationBackend._ds_mus
 
diff --git a/docs/clinguin/installation.rst b/docs/clinguin/installation.rst
index 38891ce5..c85e9b20 100644
--- a/docs/clinguin/installation.rst
+++ b/docs/clinguin/installation.rst
@@ -21,7 +21,7 @@ The python clinguin package can be found `here <https://pypi.org/project/clingui
 
 .. note::
 
-    If you wish to use tkinter instead of angluar, install as follows.
+    If you wish to use tkinter instead of angluar (discouraged), install as follows.
 
     .. code-block:: console