@@ -6,10 +6,11 @@
 	<link type="seealso" xref="index#functions"/>
 	<link type="guide" xref="configuration#apps"/>
 	<desc>Common applications to use as players.</desc>
 </info>
 
+	<section>
 	<title>Audio players</title>
 
 	<p>On BSD/Linux systems there are a plethora of audio players. In streamtuner2 you can
 	<link xref="configuration">configure</link> most of them as target application. Mostly it makes sense to use a single
 	application for all audio formats. But at least the */* media type should be handled
@@ -37,10 +38,11 @@
         works better. (And sometimes not.)</p>
 
 	<p>Some applications, like Rhythmbox or Banshee, are primarily playlist managers, not players,
         and cannot be invoked with a station URL. This makes them less suitable for use with streamtuner2.
         (Same goes for streamtuner2 itself. It's not a player, but just a playlist browser.)</p>
+	</section>
 
 	<section id="placeholders">
 	<title>URL placeholders</title>
 
 	<p>Listed audio players get run with a streaming server address (URL).