diff --git a/doc/rados/api/librados-intro.rst b/doc/rados/api/librados-intro.rst
index a386e5dcbed..5174188b4c5 100644
--- a/doc/rados/api/librados-intro.rst
+++ b/doc/rados/api/librados-intro.rst
@@ -179,10 +179,8 @@ To install the ``librados`` extension for PHP, you need to execute the following
       make
       sudo make install
 
-#. Enable ``phprados`` in php.ini by adding:
+#. Enable ``phprados`` by adding the following line to ``php.ini``::
    
-   .. prompt:: bash $
-
       extension=rados.so