diff --git a/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html b/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html
index 70b27582..10c35eb8 100644
--- a/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html
+++ b/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html
@@ -37,15 +37,16 @@ title: Ubuntu Linux
 </p>
 <p>
   Follow these steps to install the latest version of Ardour.
+  <ol>
+  <li>Download the latest release from <a href="http://ardour.org/download">
+  ardour.org</a>.</li>
+  <li>Right-click the downloaded file and choose properties.</li>
+  <li>Click the `Permissions` tab and check the option `Allow this file to
+  run as a program`</li>
+  <li>Close the dialog and double-click the file.</li>
+  <li>Follow the prompts.</li>
+</ol>
 </p>
-1. Download the latest release from <a href="http://ardour.org/download">
-ardour.org</a>.
-2. Right-click the downloaded file and choose properties.
-3. Click the `Permissions` tab and check the option `Allow this file to
-run as a program`
-4. Close the dialog and double-click the file.
-5. Follow the prompts.
-
 
 <h2>Problems with the interaction between PulseAudio and JACK</h2>