From c7b52d3114227b8fc8a9000c72652f303e7daf7a Mon Sep 17 00:00:00 2001
From: Reto Kromer <rk@reto.ch>
Date: Sun, 15 May 2016 13:03:47 +0200
Subject: [PATCH] HTML housekeeping

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index dbd149f..40c00c0 100644
--- a/index.html
+++ b/index.html
@@ -735,7 +735,7 @@
 	    The extension for TIFF files is .tif or maybe .tiff; the extension for DPX files is .dpx (or even .cin for old files). Screenshots are often in .png format.</dd>
           </dl>
           <p><i>Notes:</i></p>
-	  <p>If <code>-framerate</code> is omitted, the playback speed depends on the images’ file sizes and on the computer’s processing power. It may be rather slow for large image files.<p/>
+	  <p>If <code>-framerate</code> is omitted, the playback speed depends on the images’ file sizes and on the computer’s processing power. It may be rather slow for large image files.</p>
           <p>You can navigate durationally by clicking within the playback window. Clicking towards the left-hand side of the playback window takes you towards the beginning of the playback sequence; clicking towards the right takes you towards the end of the sequence.</p>
         </div>
       </div>