diff --git a/Documentation/how-to-flash.rst b/Documentation/how-to-flash.rst
index 42e5b6fd23574fbc4323ffb1a11822c086c5df26..a4c61f49dfc9c03ebd79abc1340149428eda4f34 100644
--- a/Documentation/how-to-flash.rst
+++ b/Documentation/how-to-flash.rst
@@ -38,6 +38,11 @@ your new firmware boot up!
 Flash Using Debugger
 --------------------
 
+First, setup everything as explained on the :ref:`debugger` page.  Following
+that and after connecting to card10, you can flash your binary using the
+``load`` command.  After loading, you need to use ``reset`` to reboot card10
+using your new firmware.
+
 .. warning::
 
    With the current version of the bootloader, before attempting to flash using
@@ -45,11 +50,15 @@ Flash Using Debugger
    If there is, the bootloader will overwrite whatever you just flashed after
    reboot every time.
 
-First, setup everything as explained on the :ref:`debugger` page.  Following
-that and after connecting to card10, you can flash your binary using the
-``load`` command.  After loading, you need to use ``reset`` to reboot card10
-using your new firmware.
+.. code-block:: text
 
+   (gdb) load
+   Loading section .text, size 0x12514 lma 0x10010000
+   Loading section .ARM.exidx, size 0x8 lma 0x10022514
+   Loading section .data, size 0x8d8 lma 0x1002251c
+   Start address 0x10012160, load size 77300
+   Transfer rate: 19 KB/sec, 11042 bytes/write.
+   (gdb)
 
 .. note::
 
@@ -64,13 +73,3 @@ using your new firmware.
    Reason: The Epicardium puts parts of the CPU to sleep and the debugging
    interface is part of that. After a reset the bootloader starts up
    and lets OpenOCD/GDB take control again.
-
-.. code-block:: text
-
-   (gdb) load
-   Loading section .text, size 0x12514 lma 0x10010000
-   Loading section .ARM.exidx, size 0x8 lma 0x10022514
-   Loading section .data, size 0x8d8 lma 0x1002251c
-   Start address 0x10012160, load size 77300
-   Transfer rate: 19 KB/sec, 11042 bytes/write.
-   (gdb)