diff --git a/doc/manual/developing.rst b/doc/manual/developing.rst
index 6fc5673ee..fbec06ece 100644
--- a/doc/manual/developing.rst
+++ b/doc/manual/developing.rst
@@ -27,7 +27,7 @@ ARTIQ Anaconda development environment
            $ git clone --recursive https://github.com/m-labs/artiq ~/artiq-dev/artiq
            $ cd ~/artiq-dev/artiq
 
-       Add ``-b release-X`` to the ``git clone`` command if you are building a stable branch of ARTIQ (the default will fetch the development ``master`` branch).
+       Add ``-b release-X`` to the ``git clone`` command if you are building a stable branch of ARTIQ. Replace ``X`` with the major release. The default will fetch the development ``master`` branch.
     3. :ref:`Install Anaconda or Miniconda <install-anaconda>`
     4. Create and activate a conda environment named ``artiq-dev`` and install the ``artiq-dev`` package which pulls in all the packages required to develop ARTIQ::
 
@@ -37,10 +37,9 @@ ARTIQ Anaconda development environment
 
            $ pip install -e .
     6. :ref:`Install Vivado <install-xilinx>`
-    7. :ref:`Obtain and install the JTAG SPI flash proxy bitstream <install-bscan-spi>`
-    8. :ref:`Configure OpenOCD <setup-openocd>`
-    9. :ref:`Build target binaries <build-target-binaries>`
-    10. :ref:`Flash target binaries <flash-target-binaries>`
+    7. :ref:`Configure OpenOCD <setup-openocd>`
+    8. :ref:`Build target binaries <build-target-binaries>`
+    9. :ref:`Flash target binaries <flash-target-binaries>`
 
 .. _install-from-source:
 
diff --git a/doc/manual/installing.rst b/doc/manual/installing.rst
index 651c675ca..e9a82226c 100644
--- a/doc/manual/installing.rst
+++ b/doc/manual/installing.rst
@@ -112,6 +112,9 @@ The ``artiq`` or ``artiq-dev`` conda packages install ``openocd`` automatically
 
 .. _setup-openocd:
 
+Configuring OpenOCD
+^^^^^^^^^^^^^^^^^^^
+
 Some additional steps are necessary to ensure that OpenOCD can communicate with the FPGA board.
 
 On Linux, first ensure that the current user belongs to the ``plugdev`` group. If it does not, run ``sudo adduser $USER plugdev`` and relogin. Afterwards::