diff --git a/doc/manual/core_device.rst b/doc/manual/core_device.rst
index bd9fbff45..cbfca612d 100644
--- a/doc/manual/core_device.rst
+++ b/doc/manual/core_device.rst
@@ -175,11 +175,10 @@ Installation
 ............
 
 These installation instructions are a short form of those in the ARTIQ manual.
+
 * See the chapter on setting up a :ref:`development environment <develop-from-conda>`.
-* When compiling the binaries, use the ``phaser`` target:::
-  $ python -m artiq.gateware.targets.phaser
-* From time to time and on request there may be pre-built binaries in the
-  ``artiq-kc705-phaser`` package on the M-Labs conda package label.
+* When compiling the binaries, use the ``phaser`` target: ``python -m artiq.gateware.targets.phaser``
+* From time to time and on request there may be pre-built binaries in the ``artiq-kc705-phaser`` package on the M-Labs conda package label.
 
 Setup
 .....