diff --git a/docs/debug-mode.rst b/docs/debug-mode.rst
index 8e465dd09..0f59bc948 100644
--- a/docs/debug-mode.rst
+++ b/docs/debug-mode.rst
@@ -43,7 +43,7 @@ Debug mode works *only* for extensions built with HPy universal ABI.
 To enable debug mode, use environment variable ``HPY``. If ``HPY=debug``, then
 all HPy modules are loaded with the trace context. Alternatively, it is also
 possible to specify the mode per module like this:
-``HPY=modA:debug,modB=debug``.
+``HPY=modA:debug,modB:debug``.
 
 In order to verify that your extension is being loaded in debug mode, use
 environment variable ``HPY_LOG``. If this variable is set, then all HPy
diff --git a/docs/quickstart.rst b/docs/quickstart.rst
index 7bf9ab13c..b526552e7 100644
--- a/docs/quickstart.rst
+++ b/docs/quickstart.rst
@@ -1,5 +1,5 @@
 HPy Quickstart
-=============
+==============
 
 This section shows how to quickly get started with HPy by creating
 a simple HPy extension from scratch.
diff --git a/docs/trace-mode.rst b/docs/trace-mode.rst
index 704b033a8..35b5e409f 100644
--- a/docs/trace-mode.rst
+++ b/docs/trace-mode.rst
@@ -19,7 +19,7 @@ Similar to how the
 :ref:`debug mode is activated <debug-mode:Activating Debug Mode>`, use
 environment variable ``HPY``. If ``HPY=trace``, then all HPy modules are loaded
 with the trace context. Alternatively, it is also possible to specify the mode
-per module like this: ``HPY=modA:trace,modB=trace``.
+per module like this: ``HPY=modA:trace,modB:trace``.
 Environment variable ``HPY_LOG`` also works.