minor tweaks for arm64 boot text

1 files changed, 13 insertions, 14 deletions

diff --git a/en/boot-installer/arm.xml b/en/boot-installer/arm.xml
index 39a776fc9..496c19f08 100644
--- a/en/boot-installer/arm.xml
+++ b/en/boot-installer/arm.xml
@@ -54,21 +54,20 @@
     <para>
       The graphical installer is not enabled on the arm64 &d-i; images
       for jessie so the serial console is used. The console device
-      should be detected automatically from the firmware, but if it not then after
-      you boot linux from the GRUB menu you will see a 'Booting Linux'
-      message then nothing more.
+      should be detected automatically from the firmware, but if it is
+      not then after you boot linux from the GRUB menu you will see a
+      'Booting Linux' message then nothing more.
     </para>
     <para>
-      If you hit this issue you will need to set a specific console config on the kernel command line.
-      Hit <userinput>e</userinput> for 'Edit Kernel command-line'
-      at the GRUB menu, and change
-      <informalexample><screen>--- quiet</screen></informalexample>
-      to
+      If you hit this issue you will need to set a specific console
+      config on the kernel command line. Hit <userinput>e</userinput>
+      for 'Edit Kernel command-line' at the GRUB menu, and change
+      <informalexample><screen>--- quiet</screen></informalexample> to
       <informalexample><screen>console=&lt;device&gt;,&lt;speed&gt;</screen></informalexample>
-      e.g.
-      <informalexample><screen>console=ttyAMA0,115200n8</screen></informalexample>
+      e.g. <informalexample><screen>console=ttyAMA0,115200n8</screen></informalexample>
       When finished hit <keycombo><keycap>Control</keycap>
-<keycap>x</keycap></keycombo> to continue booting with new setting.
+      <keycap>x</keycap></keycombo> to continue booting with new
+      setting.
     </para>
   </sect2>
 
@@ -84,9 +83,9 @@
     <para>
       Prepare a standard arm64 CD image on a USB stick. Insert it in
       one of the USB ports on the back. Plug a serial cable into the
-      upper 9-pin D on the back. If you need networking (netboot
-      image) plug the ethernet cable into the socket on the front of
-      the machine.
+      upper 9-pin serial port on the back. If you need networking
+      (netboot image) plug the ethernet cable into the socket on the
+      front of the machine.
     </para>
     <para>
       Run a serial console at 115200, 8bit no parity, and boot the