From 3b9f729f30ec9bc2f4afd45f1d8ffeaaffc394cd Mon Sep 17 00:00:00 2001
From: Nuno Alexandre <nuno@channable.com>
Date: Sat, 21 Apr 2018 17:07:06 +0200
Subject: Update test-suite reference html pages

---
 html-test/ref/A.html                             |  6 +++---
 html-test/ref/B.html                             |  6 +++---
 html-test/ref/Bold.html                          |  6 +++---
 html-test/ref/Bug1.html                          |  6 +++---
 html-test/ref/Bug195.html                        |  6 +++---
 html-test/ref/Bug2.html                          |  6 +++---
 html-test/ref/Bug201.html                        |  6 +++---
 html-test/ref/Bug253.html                        |  6 +++---
 html-test/ref/Bug26.html                         |  6 +++---
 html-test/ref/Bug280.html                        |  6 +++---
 html-test/ref/Bug294.html                        |  6 +++---
 html-test/ref/Bug298.html                        |  6 +++---
 html-test/ref/Bug3.html                          |  6 +++---
 html-test/ref/Bug308.html                        |  6 +++---
 html-test/ref/Bug308CrossModule.html             |  6 +++---
 html-test/ref/Bug310.html                        |  4 ++--
 html-test/ref/Bug313.html                        |  6 +++---
 html-test/ref/Bug335.html                        |  6 +++---
 html-test/ref/Bug387.html                        |  6 +++---
 html-test/ref/Bug4.html                          |  6 +++---
 html-test/ref/Bug458.html                        |  6 +++---
 html-test/ref/Bug546.html                        |  6 +++---
 html-test/ref/Bug548.html                        |  4 ++--
 html-test/ref/Bug6.html                          |  6 +++---
 html-test/ref/Bug613.html                        |  6 +++---
 html-test/ref/Bug647.html                        |  6 +++---
 html-test/ref/Bug679.html                        |  6 +++---
 html-test/ref/Bug7.html                          |  6 +++---
 html-test/ref/Bug8.html                          |  6 +++---
 html-test/ref/Bug85.html                         |  6 +++---
 html-test/ref/BugDeprecated.html                 |  6 +++---
 html-test/ref/BugExportHeadings.html             |  6 +++---
 html-test/ref/Bugs.html                          |  6 +++---
 html-test/ref/BundledPatterns.html               |  6 +++---
 html-test/ref/BundledPatterns2.html              |  6 +++---
 html-test/ref/ConstructorPatternExport.html      |  6 +++---
 html-test/ref/CrossPackageDocs.html              |  4 ++--
 html-test/ref/DeprecatedClass.html               |  6 +++---
 html-test/ref/DeprecatedData.html                |  6 +++---
 html-test/ref/DeprecatedFunction.html            |  6 +++---
 html-test/ref/DeprecatedFunction2.html           |  6 +++---
 html-test/ref/DeprecatedFunction3.html           |  6 +++---
 html-test/ref/DeprecatedModule.html              |  6 +++---
 html-test/ref/DeprecatedModule2.html             |  6 +++---
 html-test/ref/DeprecatedNewtype.html             |  6 +++---
 html-test/ref/DeprecatedReExport.html            |  6 +++---
 html-test/ref/DeprecatedRecord.html              |  6 +++---
 html-test/ref/DeprecatedTypeFamily.html          |  6 +++---
 html-test/ref/DeprecatedTypeSynonym.html         |  6 +++---
 html-test/ref/DuplicateRecordFields.html         |  6 +++---
 html-test/ref/Examples.html                      |  6 +++---
 html-test/ref/Extensions.html                    |  6 +++---
 html-test/ref/FunArgs.html                       |  4 ++--
 html-test/ref/GADTRecords.html                   |  6 +++---
 html-test/ref/Hash.html                          |  6 +++---
 html-test/ref/HiddenInstances.html               |  6 +++---
 html-test/ref/HiddenInstancesB.html              |  6 +++---
 html-test/ref/Hyperlinks.html                    |  6 +++---
 html-test/ref/IgnoreExports.html                 |  6 +++---
 html-test/ref/ImplicitParams.html                |  6 +++---
 html-test/ref/Instances.html                     |  6 +++---
 html-test/ref/Math.html                          |  6 +++---
 html-test/ref/Minimal.html                       |  6 +++---
 html-test/ref/ModuleWithWarning.html             |  6 +++---
 html-test/ref/NamedDoc.html                      |  6 +++---
 html-test/ref/Nesting.html                       |  6 +++---
 html-test/ref/NoLayout.html                      |  6 +++---
 html-test/ref/NonGreedy.html                     |  6 +++---
 html-test/ref/Operators.html                     |  6 +++---
 html-test/ref/OrphanInstances.html               |  6 +++---
 html-test/ref/OrphanInstancesClass.html          |  6 +++---
 html-test/ref/OrphanInstancesType.html           |  6 +++---
 html-test/ref/PR643.html                         |  6 +++---
 html-test/ref/PR643_1.html                       |  6 +++---
 html-test/ref/PatternSyns.html                   |  6 +++---
 html-test/ref/PromotedTypes.html                 |  6 +++---
 html-test/ref/Properties.html                    |  6 +++---
 html-test/ref/PruneWithWarning.html              |  6 +++---
 html-test/ref/QuasiExpr.html                     |  6 +++---
 html-test/ref/QuasiQuote.html                    |  6 +++---
 html-test/ref/SpuriousSuperclassConstraints.html |  6 +++---
 html-test/ref/TH.html                            |  6 +++---
 html-test/ref/TH2.html                           |  6 +++---
 html-test/ref/Table.html                         | 22 +++++++++++-----------
 html-test/ref/Test.html                          |  6 +++---
 html-test/ref/Threaded.html                      |  6 +++---
 html-test/ref/Threaded_TH.html                   |  6 +++---
 html-test/ref/Ticket112.html                     |  6 +++---
 html-test/ref/Ticket61.html                      |  6 +++---
 html-test/ref/Ticket75.html                      |  6 +++---
 html-test/ref/TitledPicture.html                 |  6 +++---
 html-test/ref/TypeFamilies.html                  |  6 +++---
 html-test/ref/TypeFamilies2.html                 |  6 +++---
 html-test/ref/TypeOperators.html                 |  6 +++---
 html-test/ref/Unicode.html                       |  6 +++---
 html-test/ref/Visible.html                       |  6 +++---
 96 files changed, 292 insertions(+), 292 deletions(-)

(limited to 'html-test/ref')

diff --git a/html-test/ref/A.html b/html-test/ref/A.html
index ee4dcbef..7fbe05c5 100644
--- a/html-test/ref/A.html
+++ b/html-test/ref/A.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -183,4 +183,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/B.html b/html-test/ref/B.html
index 251486da..4c1506a3 100644
--- a/html-test/ref/B.html
+++ b/html-test/ref/B.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -171,4 +171,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html
index 3125f0bc..5d11452e 100644
--- a/html-test/ref/Bold.html
+++ b/html-test/ref/Bold.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -95,4 +95,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html
index 1ae9a1d0..3d989dd5 100644
--- a/html-test/ref/Bug1.html
+++ b/html-test/ref/Bug1.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -98,4 +98,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html
index af192402..ee96e93f 100644
--- a/html-test/ref/Bug195.html
+++ b/html-test/ref/Bug195.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -179,4 +179,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html
index 7e9ef3a5..05818a68 100644
--- a/html-test/ref/Bug2.html
+++ b/html-test/ref/Bug2.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -59,4 +59,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html
index 2d27f27f..920d0e4a 100644
--- a/html-test/ref/Bug201.html
+++ b/html-test/ref/Bug201.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -100,4 +100,4 @@ because there's a space before closing @
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html
index 64ffda7d..ee50bc95 100644
--- a/html-test/ref/Bug253.html
+++ b/html-test/ref/Bug253.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -95,4 +95,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html
index c7de9837..97f69317 100644
--- a/html-test/ref/Bug26.html
+++ b/html-test/ref/Bug26.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -205,4 +205,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html
index a4a6088c..c671e911 100644
--- a/html-test/ref/Bug280.html
+++ b/html-test/ref/Bug280.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -75,4 +75,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html
index be7e4699..528696e6 100644
--- a/html-test/ref/Bug294.html
+++ b/html-test/ref/Bug294.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -361,4 +361,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html
index cda567e8..2ddf6603 100644
--- a/html-test/ref/Bug298.html
+++ b/html-test/ref/Bug298.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -137,4 +137,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html
index 1e9ab3ad..931f5cad 100644
--- a/html-test/ref/Bug3.html
+++ b/html-test/ref/Bug3.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -78,4 +78,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html
index 685440ef..cef834cd 100644
--- a/html-test/ref/Bug308.html
+++ b/html-test/ref/Bug308.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -109,4 +109,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html
index 0b3e555e..0af0b3ed 100644
--- a/html-test/ref/Bug308CrossModule.html
+++ b/html-test/ref/Bug308CrossModule.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -87,4 +87,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html
index b0967fb6..5dd94b34 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html
index 30844790..bbfc6416 100644
--- a/html-test/ref/Bug313.html
+++ b/html-test/ref/Bug313.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -130,4 +130,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html
index c394b5ad..6f5ba351 100644
--- a/html-test/ref/Bug335.html
+++ b/html-test/ref/Bug335.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -127,4 +127,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html
index cf64c242..ccdeb642 100644
--- a/html-test/ref/Bug387.html
+++ b/html-test/ref/Bug387.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -113,4 +113,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html
index 5b370eed..e42e384b 100644
--- a/html-test/ref/Bug4.html
+++ b/html-test/ref/Bug4.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -77,4 +77,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug458.html b/html-test/ref/Bug458.html
index 8151da61..ea43a8b4 100644
--- a/html-test/ref/Bug458.html
+++ b/html-test/ref/Bug458.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -79,4 +79,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug546.html b/html-test/ref/Bug546.html
index b3cb1105..a56cf672 100644
--- a/html-test/ref/Bug546.html
+++ b/html-test/ref/Bug546.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -272,4 +272,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html
index d63e5afe..8ccd244b 100644
--- a/html-test/ref/Bug548.html
+++ b/html-test/ref/Bug548.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html
index 47e4f6a1..2790a330 100644
--- a/html-test/ref/Bug6.html
+++ b/html-test/ref/Bug6.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -331,4 +331,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html
index 9718d731..c6876bd3 100644
--- a/html-test/ref/Bug613.html
+++ b/html-test/ref/Bug613.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -271,4 +271,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug647.html b/html-test/ref/Bug647.html
index 56af3429..0f30ff37 100644
--- a/html-test/ref/Bug647.html
+++ b/html-test/ref/Bug647.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -101,4 +101,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug679.html b/html-test/ref/Bug679.html
index d8725c80..d0d0a69d 100644
--- a/html-test/ref/Bug679.html
+++ b/html-test/ref/Bug679.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -195,4 +195,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html
index d8ec9dba..08a87751 100644
--- a/html-test/ref/Bug7.html
+++ b/html-test/ref/Bug7.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -202,4 +202,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html
index 67056ac1..65fcb923 100644
--- a/html-test/ref/Bug8.html
+++ b/html-test/ref/Bug8.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -145,4 +145,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html
index d595433d..c4217fa1 100644
--- a/html-test/ref/Bug85.html
+++ b/html-test/ref/Bug85.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -133,4 +133,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html
index 2c46d9f7..f7eda6c4 100644
--- a/html-test/ref/BugDeprecated.html
+++ b/html-test/ref/BugDeprecated.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -191,4 +191,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html
index d1ecc40d..4c2e822e 100644
--- a/html-test/ref/BugExportHeadings.html
+++ b/html-test/ref/BugExportHeadings.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -223,4 +223,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html
index 66589b8b..1e971c79 100644
--- a/html-test/ref/Bugs.html
+++ b/html-test/ref/Bugs.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -75,4 +75,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html
index 00933381..5a5630ca 100644
--- a/html-test/ref/BundledPatterns.html
+++ b/html-test/ref/BundledPatterns.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -455,4 +455,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html
index f5ca34d8..e589b4fe 100644
--- a/html-test/ref/BundledPatterns2.html
+++ b/html-test/ref/BundledPatterns2.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -453,4 +453,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/ConstructorPatternExport.html b/html-test/ref/ConstructorPatternExport.html
index 0105fa14..f563331d 100644
--- a/html-test/ref/ConstructorPatternExport.html
+++ b/html-test/ref/ConstructorPatternExport.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -115,4 +115,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/CrossPackageDocs.html b/html-test/ref/CrossPackageDocs.html
index 04f443f0..5dd20c52 100644
--- a/html-test/ref/CrossPackageDocs.html
+++ b/html-test/ref/CrossPackageDocs.html
@@ -15,8 +15,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html"
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-    >&nbsp;</div
+    ><span class="caption empty"
+    >&nbsp;</span
     ><ul class="links" id="page-menu"
       ><li
 	><a href=""
diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html
index ac21bbfb..e5c09dde 100644
--- a/html-test/ref/DeprecatedClass.html
+++ b/html-test/ref/DeprecatedClass.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -157,4 +157,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html
index 91935311..d53d3173 100644
--- a/html-test/ref/DeprecatedData.html
+++ b/html-test/ref/DeprecatedData.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -187,4 +187,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html
index fac1ea06..bba633a1 100644
--- a/html-test/ref/DeprecatedFunction.html
+++ b/html-test/ref/DeprecatedFunction.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -105,4 +105,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html
index ac97846f..c432491f 100644
--- a/html-test/ref/DeprecatedFunction2.html
+++ b/html-test/ref/DeprecatedFunction2.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -79,4 +79,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html
index 3d773c9b..ef36b67c 100644
--- a/html-test/ref/DeprecatedFunction3.html
+++ b/html-test/ref/DeprecatedFunction3.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -79,4 +79,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html
index 7d5601fd..b3aa8e63 100644
--- a/html-test/ref/DeprecatedModule.html
+++ b/html-test/ref/DeprecatedModule.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -75,4 +75,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html
index e5c941cd..a88974a6 100644
--- a/html-test/ref/DeprecatedModule2.html
+++ b/html-test/ref/DeprecatedModule2.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -69,4 +69,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html
index 04a57ab6..cf2558b8 100644
--- a/html-test/ref/DeprecatedNewtype.html
+++ b/html-test/ref/DeprecatedNewtype.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -153,4 +153,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html
index 2918b59e..9b6bc3f1 100644
--- a/html-test/ref/DeprecatedReExport.html
+++ b/html-test/ref/DeprecatedReExport.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -124,4 +124,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html
index 8f0bb9c6..9634b651 100644
--- a/html-test/ref/DeprecatedRecord.html
+++ b/html-test/ref/DeprecatedRecord.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -145,4 +145,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html
index bff1297b..37aee6ff 100644
--- a/html-test/ref/DeprecatedTypeFamily.html
+++ b/html-test/ref/DeprecatedTypeFamily.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -103,4 +103,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html
index 4a080c27..8b2839dc 100644
--- a/html-test/ref/DeprecatedTypeSynonym.html
+++ b/html-test/ref/DeprecatedTypeSynonym.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -111,4 +111,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/DuplicateRecordFields.html b/html-test/ref/DuplicateRecordFields.html
index c8b0d9c8..7fc06af0 100644
--- a/html-test/ref/DuplicateRecordFields.html
+++ b/html-test/ref/DuplicateRecordFields.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -155,4 +155,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html
index a69f9235..d8dfa03d 100644
--- a/html-test/ref/Examples.html
+++ b/html-test/ref/Examples.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -170,4 +170,4 @@ bar
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html
index eef4b96f..f9946f3e 100644
--- a/html-test/ref/Extensions.html
+++ b/html-test/ref/Extensions.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -85,4 +85,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html
index b6aaa332..409664c5 100644
--- a/html-test/ref/FunArgs.html
+++ b/html-test/ref/FunArgs.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html
index 918ec32e..5fd2fa84 100644
--- a/html-test/ref/GADTRecords.html
+++ b/html-test/ref/GADTRecords.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -223,4 +223,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html
index d8c275fa..6c489505 100644
--- a/html-test/ref/Hash.html
+++ b/html-test/ref/Hash.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -430,4 +430,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html
index a640b2c5..3a03d2ba 100644
--- a/html-test/ref/HiddenInstances.html
+++ b/html-test/ref/HiddenInstances.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -313,4 +313,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html
index f67653c8..f6b4db1e 100644
--- a/html-test/ref/HiddenInstancesB.html
+++ b/html-test/ref/HiddenInstancesB.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -173,4 +173,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html
index bf4ca9bf..83728f43 100644
--- a/html-test/ref/Hyperlinks.html
+++ b/html-test/ref/Hyperlinks.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -83,4 +83,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html
index 65262cb0..eed12c00 100644
--- a/html-test/ref/IgnoreExports.html
+++ b/html-test/ref/IgnoreExports.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -97,4 +97,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html
index 807bf3b4..5b5df51f 100644
--- a/html-test/ref/ImplicitParams.html
+++ b/html-test/ref/ImplicitParams.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -111,4 +111,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html
index 30cac06f..e2f16a49 100644
--- a/html-test/ref/Instances.html
+++ b/html-test/ref/Instances.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -2139,4 +2139,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html
index 26feba6e..892d3e3d 100644
--- a/html-test/ref/Math.html
+++ b/html-test/ref/Math.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -97,4 +97,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html
index c425933f..a5e7aa28 100644
--- a/html-test/ref/Minimal.html
+++ b/html-test/ref/Minimal.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -339,4 +339,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html
index f6ccf578..480f04a4 100644
--- a/html-test/ref/ModuleWithWarning.html
+++ b/html-test/ref/ModuleWithWarning.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -75,4 +75,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html
index ed0cfa03..e0f7f967 100644
--- a/html-test/ref/NamedDoc.html
+++ b/html-test/ref/NamedDoc.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -61,4 +61,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html
index 29657127..b64bd49d 100644
--- a/html-test/ref/Nesting.html
+++ b/html-test/ref/Nesting.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -355,4 +355,4 @@ with more of the indented list content.</p
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html
index 1b84596e..b4ce29e2 100644
--- a/html-test/ref/NoLayout.html
+++ b/html-test/ref/NoLayout.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -81,4 +81,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html
index b4827db9..13fb91c7 100644
--- a/html-test/ref/NonGreedy.html
+++ b/html-test/ref/NonGreedy.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -77,4 +77,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html
index 9467343a..993c7361 100644
--- a/html-test/ref/Operators.html
+++ b/html-test/ref/Operators.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -527,4 +527,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html
index cbd499b5..d0d19e2f 100644
--- a/html-test/ref/OrphanInstances.html
+++ b/html-test/ref/OrphanInstances.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -105,4 +105,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html
index 8bcbee30..04193c50 100644
--- a/html-test/ref/OrphanInstancesClass.html
+++ b/html-test/ref/OrphanInstancesClass.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -125,4 +125,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html
index e7ea133b..67acfcd5 100644
--- a/html-test/ref/OrphanInstancesType.html
+++ b/html-test/ref/OrphanInstancesType.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -127,4 +127,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/PR643.html b/html-test/ref/PR643.html
index 1e70859f..ecd39632 100644
--- a/html-test/ref/PR643.html
+++ b/html-test/ref/PR643.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -77,4 +77,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/PR643_1.html b/html-test/ref/PR643_1.html
index 98def13c..c85dddd1 100644
--- a/html-test/ref/PR643_1.html
+++ b/html-test/ref/PR643_1.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -77,4 +77,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index edc4842f..7812ff17 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -386,4 +386,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html
index f36bb227..4e15da63 100644
--- a/html-test/ref/PromotedTypes.html
+++ b/html-test/ref/PromotedTypes.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -201,4 +201,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html
index 62701755..f4709e43 100644
--- a/html-test/ref/Properties.html
+++ b/html-test/ref/Properties.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -87,4 +87,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html
index abfc1362..9b231a36 100644
--- a/html-test/ref/PruneWithWarning.html
+++ b/html-test/ref/PruneWithWarning.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -62,4 +62,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html
index e008ccd2..88f1b92c 100644
--- a/html-test/ref/QuasiExpr.html
+++ b/html-test/ref/QuasiExpr.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -337,4 +337,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html
index dc9c8cc5..15cb848a 100644
--- a/html-test/ref/QuasiQuote.html
+++ b/html-test/ref/QuasiQuote.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -59,4 +59,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index b06300b5..17c026d1 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -235,4 +235,4 @@ Fix spurious superclass constraints bug.</pre
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html
index 47bdb45e..2c74cbb0 100644
--- a/html-test/ref/TH.html
+++ b/html-test/ref/TH.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -61,4 +61,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html
index a0c8dd4c..897f73b9 100644
--- a/html-test/ref/TH2.html
+++ b/html-test/ref/TH2.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -57,4 +57,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Table.html b/html-test/ref/Table.html
index 62e2a5d7..462f7ca5 100644
--- a/html-test/ref/Table.html
+++ b/html-test/ref/Table.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -177,16 +177,16 @@
 	    ><thead
 	      ><tr
 		><th
-		  > Header row, column 1   
+		  > Header row, column 1
  (header rows optional) </th
 		  ><th
-		  > Header 2   
+		  > Header 2
             </th
 		  ><th
-		  > Header 3 
+		  > Header 3
           </th
 		  ><th
-		  > Header 4 
+		  > Header 4
           </th
 		  ></tr
 		></thead
@@ -215,12 +215,12 @@
 		><td
 		  > body row 3             </td
 		  ><td rowspan="2"
-		  > Cells may  
- span rows. 
+		  > Cells may
+ span rows.
             </td
 		  ><td colspan="2" rowspan="2"
-		  > \[                  
- f(n) = \sum_{i=1}   
+		  > \[
+ f(n) = \sum_{i=1}
  \]                  </td
 		  ></tr
 		><tr
@@ -237,4 +237,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index 38a70143..5cdee91e 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -2393,4 +2393,4 @@ is at the beginning of the line).</pre
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html
index 3aa18c08..347c725b 100644
--- a/html-test/ref/Threaded.html
+++ b/html-test/ref/Threaded.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -90,4 +90,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Threaded_TH.html b/html-test/ref/Threaded_TH.html
index fb9f1ba3..257b6b99 100644
--- a/html-test/ref/Threaded_TH.html
+++ b/html-test/ref/Threaded_TH.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -95,4 +95,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html
index e419b097..0c972de6 100644
--- a/html-test/ref/Ticket112.html
+++ b/html-test/ref/Ticket112.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -77,4 +77,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html
index fee6ea25..a16e30bf 100644
--- a/html-test/ref/Ticket61.html
+++ b/html-test/ref/Ticket61.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -75,4 +75,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html
index 45f876c1..f2e0ef7a 100644
--- a/html-test/ref/Ticket75.html
+++ b/html-test/ref/Ticket75.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -113,4 +113,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html
index 06aa2f52..8880e3c9 100644
--- a/html-test/ref/TitledPicture.html
+++ b/html-test/ref/TitledPicture.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -107,4 +107,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 58b0d41c..35f9e542 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -1933,4 +1933,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html
index ef591716..4c6fcc74 100644
--- a/html-test/ref/TypeFamilies2.html
+++ b/html-test/ref/TypeFamilies2.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -385,4 +385,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html
index 766e5e36..b467e372 100644
--- a/html-test/ref/TypeOperators.html
+++ b/html-test/ref/TypeOperators.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -185,4 +185,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html
index 34c5d917..b5082ffc 100644
--- a/html-test/ref/Unicode.html
+++ b/html-test/ref/Unicode.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -77,4 +77,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html
index fa7f5116..97b64796 100644
--- a/html-test/ref/Visible.html
+++ b/html-test/ref/Visible.html
@@ -14,8 +14,8 @@
     ></head
   ><body
   ><div id="package-header"
-    ><div class="caption empty"
-      ></div
+    ><span class="caption empty"
+      ></span
       ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
@@ -61,4 +61,4 @@
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
-- 
cgit v1.2.3