diff --git a/docs/source/reference.rst b/docs/source/reference.rst
index 629345b..5c3f95e 100644
--- a/docs/source/reference.rst
+++ b/docs/source/reference.rst
@@ -408,7 +408,7 @@ solvers:
 +-------------------------------+---------------------------------+
 | ``avy``                       |   ``prove``                     |
 +-------------------------------+---------------------------------+
-| ``rIC3``                      |   ``prove``,``bmc``             |
+| ``rIC3``                      |   ``prove``, ``bmc``             |
 +-------------------------------+---------------------------------+
 | ``aigbmc``                    |   ``bmc``                       |
 +-------------------------------+---------------------------------+