diff --git a/Documentation/curated-installation.rst b/Documentation/curated-installation.rst
index 2c5184fe8c..fe1a23d516 100644
--- a/Documentation/curated-installation.rst
+++ b/Documentation/curated-installation.rst
@@ -12,9 +12,9 @@ Ready-made confidential protected images
 Confidential Compute images with Gramine are ready-made solutions for popular
 open-source projects, such as PyTorch and Redis.
 Customize your environment through interactive scripts.
-The result is a curated, confidentially-protected Gramine image that includes
-your specific machine-learning application, common dependencies, and a manifest
-file that specifies security policies to enforce for your workload.
+The result is a curated, confidentially protected Gramine image that includes
+your specific machine-learning application, common dependencies, and a Gramine
+manifest file that specifies security policies to enforce for your workload.
 
 .. note::
     These confidential compute images only run on machines that support Intel
diff --git a/Documentation/environment-setup.rst b/Documentation/environment-setup.rst
index c91a9f55fa..8f43f46ecd 100644
--- a/Documentation/environment-setup.rst
+++ b/Documentation/environment-setup.rst
@@ -27,8 +27,11 @@ installed.
 Prepare a signing key
 =====================
 
-Only for SGX, and if you haven’t already, enter the following::
+.. highlight:: sh
 
+Only for SGX, and if you haven’t already, enter the following:
+
+::
     gramine-sgx-gen-private-key
 
 This command generates an RSA 3072 key suitable for signing SGX enclaves and