diff --git a/docs/source/install.rst b/docs/source/install.rst
index 1e21e4c..31049e2 100644
--- a/docs/source/install.rst
+++ b/docs/source/install.rst
@@ -138,4 +138,4 @@ rIC3
 ^^^^
   https://github.com/gipsyh/rIC3/
 
-The minimum required version of rIC3 is 1.5.2
+SBY currently supports the release version 1.5.2 of rIC3 only.