diff --git a/files.php b/files.php
index 00aa135..6a661d3 100644
--- a/files.php
+++ b/files.php
@@ -90,11 +90,13 @@ very few people on Windows would be able to play. <STRONG>:)</STRONG>
 	<LI>RPM packages are available <A href="/packages/rpm/">here</A>.</LI>
 	<LI>The packages do not contain the menu file because it would seriously
 	screw up future upgrades. This will be fixed in 0.5.3. If you want menus,
-	you'll have to download menu.dat
+	you will have to download <TT>menu.dat</TT>
 	<?
 		fileDownloadLink("files/menu.dat", "gz gz.asc");
-	?>. This goes into your id1 directory. However, this will override any
-	menu.dat we supply in the future which will possibly cause problems.
+	?><BR>
+	This goes into your <TT>id1</TT> directory. However, this will override any
+	<TT>menu.dat</TT> we supply in the future which will possibly cause
+	problems.
 	</LI>
 </UL>