diff --git a/doc/source/user/cloudservices.rst b/doc/source/user/cloudservices.rst
index a778c48c5..8be52cb92 100644
--- a/doc/source/user/cloudservices.rst
+++ b/doc/source/user/cloudservices.rst
@@ -255,7 +255,7 @@ partial snippet from the Neutron driver::
 This networks_translator describes a python dictionary data structure that
 contains four keys: id, name, tenant_id, and subnets.  The value for the
 subnets key is a list of subnet_group_ids each of which is a number.  For
-example:
+example::
 
     { "id": 1234,
       "name": "Network Foo",
diff --git a/doc/source/user/policy.rst b/doc/source/user/policy.rst
index 978159ce3..f8b4a02c8 100644
--- a/doc/source/user/policy.rst
+++ b/doc/source/user/policy.rst
@@ -48,12 +48,12 @@ ID                                     IP
 "73e31d4c-e89b-12d3-a456-426655440000" "10.0.0.3"
 ====================================== ==========
 
-This is the policy written in Congress's policy language:
+This is the policy written in Congress's policy language.::
 
-error(port_id, ip1, ip2) :-
-  port(port_id, ip1),
-  port(port_id, ip2),
-  not equal(ip1, ip2);
+  error(port_id, ip1, ip2) :-
+    port(port_id, ip1),
+    port(port_id, ip2),
+    not equal(ip1, ip2);
 
 Note that the policy above does not mention specific table content;
 instead it describes the general condition of tables.  The policy says