diff --git a/docs/source/reference.rst b/docs/source/reference.rst
index 80b71d9..f2e6bd2 100644
--- a/docs/source/reference.rst
+++ b/docs/source/reference.rst
@@ -410,7 +410,7 @@ solvers:
 +-------------------------------+---------------------------------+
 | ``avy``                       |   ``prove``                     |
 +-------------------------------+---------------------------------+
-| ``rIC3``                      |   ``prove``, ``bmc``             |
+| ``rIC3``                      |   ``prove``, ``bmc``            |
 +-------------------------------+---------------------------------+
 | ``aigbmc``                    |   ``bmc``                       |
 +-------------------------------+---------------------------------+