diff --git a/docs/source/reference.rst b/docs/source/reference.rst
index 083c7f01..61fd7a98 100644
--- a/docs/source/reference.rst
+++ b/docs/source/reference.rst
@@ -236,7 +236,7 @@ The following mode/engine/solver combinations are currently supported:
 |           |                          |
 |           | ``abc sim3``             |
 |           |                          |
-|           | ``aiger smtbmc``         |
+|           | ``aiger aigbmc``         |
 +-----------+--------------------------+
 | ``prove`` | ``smtbmc [all solvers]`` |
 |           |                          |