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 594570f..4f45044 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
@@ -68,6 +68,9 @@ title: Ubuntu Linux
 
 <h4>Problems with the interaction between PulseAudio and JACK</h4>
 
+<dl>
+<dt>Background Info</dt>
+<dd>
 <p>
   Like many distributions, Ubuntu has decide to use PulseAudio as the
   default audio system. PulseAudio is a rich and capable system that
@@ -96,13 +99,15 @@ title: Ubuntu Linux
   another message, and PulseAudio can once again use the soundcard
   directly.
 </p>
+</dd>
+<dt>What is the problem?</dt>
+<dd>
 <p>
   This relatively simple system ought to be the basis for excellent
   cooperation between PulseAudio and JACK. Unfortunately, it relies on
   everything being correctly configured for it to work, and Ubuntu
   have repeatedly failed to get this configuration correct.
 </p>
-
 <p>
   The specific issues known at this time (spring 2013) are:
   <ul>
@@ -114,9 +119,9 @@ title: Ubuntu Linux
     <li>a bug that causes JACK to freeze up when told to stop, 
       causing issues with restarting</li>
   </ul>
-
-<h5>Symptoms</h5>
-
+</dd>
+<dt>Symptoms</dt>
+<dd>
 <p>
   <ul>
     <li>Cannot start JACK (though see the next section for other
@@ -125,8 +130,11 @@ title: Ubuntu Linux
     applications that use JACK.</li>
   </ul>
 </p>
-
-<h5>How to fix</h5>
+</dd>
+<dt>How to fix</dt>
+<dd>
+</dd>
+</dl>
 
 <h2>Problems with JACK configuration<h2>