diff --git a/docs/examples.rst b/docs/examples.rst
index b709e4d..a5eab28 100644
--- a/docs/examples.rst
+++ b/docs/examples.rst
@@ -5,11 +5,10 @@ All commands
 ----------------------------------
 
 Input:
-
-.. code-block:: bash
-
+::
     help
 
+
 Output:
 ::
     Verification commands:
@@ -40,9 +39,7 @@ Synthesis of EPFL benchmarks
 In the following example, we show how `phyLS` can be used to synthesize a EPFL benchamrk. 
 
 Input:
-
-.. code-block:: bash
-
+::
     read_aiger ~/phyLS/benchmarks/adder.aig
     ps -a
     resub // any synthesis commands